[src popl'22] paulette koronkevich -- dependent-type-preserving memory allocation
Published 2 years ago • 408 plays • Length 3:00Download video MP4
Download video MP3
Similar videos
-
3:04
[src popl'22] michael fitzgibbons -- capablewasm: bringing better interop down to webassembly
-
25:33
[popl'22] what's decidable about linear loops?
-
1:35:56
c standard parallelism - bryce adelstein lelbach - cppnow 2022
-
1:00:58
cppcon 2015: michael wong “c 11/14/17 atomics and memory model..."
-
21:25
[ppdp23] polymorphic typestate for session types
-
22:52
[popl'22] a cost-aware logical framework
-
19:42
[popl'22] truly stateless, optimal dynamic partial order reduction
-
26:44
[popl'22] concurrent incorrectness separation logic
-
19:32
[popl'22] the leaky semicolon: compositional semantic dependencies for relaxed-memory conc