[oopsla23] stuttering for free
Published 7 months ago • 38 plays • Length 17:08Download video MP4
Download video MP3
Similar videos
-
14:36
[oopsla23] back to direct style: typed and tight
-
18:32
[oopsla23] opening and welcome
-
1:02:22
[oopsla23] hydroflow: a compiler target for fast, correct distributed programs
-
17:32
[oopsla23] languages with decidable learning: a meta-theorem
-
17:51
[oopsla23] inference of resource management specifications
-
16:56
[oopsla23] fat pointers for temporal memory safety of c
-
16:59
[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism
-
16:56
[oopsla23] a pretty expressive printer
-
16:32
[oopsla23] explainable program synthesis by localizing specifications
-
18:34
[oopsla23] p4r-type: a verified api for p4 control plane programs
-
18:23
[oopsla23] accelerating fuzzing through prefix-guided execution
-
16:33
[oopsla23] pushing the limit of 1-minimality of language-agnostic program reduction