[pldi'23] better defunctionalization through lambda set specialization
Published 5 months ago • 137 plays • Length 22:52Download video MP4
Download video MP3
Similar videos
-
20:07
[pldi'23] verified density compilation for a probabilistic programming language
-
18:30
[pldi'23] mostly automated proof repair for verified libraries
-
16:49
[pldi'23] purecake: a verified compiler for a lazy functional language
-
18:54
[pldi24] [pldi 2023] program reconditioning: avoiding undefined behaviour when finding and(…)
-
16:22
[pldi'23] dynamic partial order reduction for checking correctness against transaction isolation(…)
-
19:40
[pldi'23] fair operational semantics
-
31:58
ldc23 - developing ddr/lpddr solutions with fpgas
-
17:05
[pldi'23] fuzzing loop optimizations in compilers for c and data-parallel languages
-
28:00
[ppdp23] type-directed program transformation for constant-time enforcement
-
18:53
[pldi'23] feature-sensitive coverage for conformance testing of programming language implementations
-
19:55
[pldi'23] performal: formal verification of latency properties for distributed systems
-
3:38
pure implementation -- official song of pldi 2021
-
20:24
[pldi'23] proving and disproving equivalence of functional programming assignments
-
5:41
[lafi'23] verified reversible programming for verified lossless compression
-
20:34
[pldi'23] efficient parallel functional programming with effects