[sessionpreviews@popl'24] domain-specific languages: session preview
Published 7 months ago • 20 plays • Length 8:31Download video MP4
Download video MP3
Similar videos
-
10:53
[sessionpreviews@popl'24] medley: session preview
-
10:03
[sessionpreviews@popl'24] automated verification: session preview
-
10:21
[sessionpreviews@popl'24] program analysis: session preview
-
10:32
[sessionpreviews@popl'24] types 1: session preview
-
10:09
[sessionpreviews@popl'24] gradual typing and verification: session preview
-
7:33
[sessionpreviews@popl'24] types 2: session preview
-
10:26
[sessionpreviews@popl'24] synthesis 1: session preview
-
36:49
[plmw@pldi24] a tour of program optimization
-
20:04
[popl'24] optimal program synthesis via abstract interpretation
-
21:33
[sparse24] design dsls with xdsl
-
8:04
[sessionpreviews@popl'24] concurrency: session preview
-
7:53
[sessionpreviews@popl'24] higher-order effectful programs: session preview
-
11:27
[sessionpreviews@popl'24] types 3: session preview
-
10:16
[sessionpreviews@popl'24] algorithmic verification: session preview
-
12:06
[sessionpreviews@popl'24] synthesis 2: session preview
-
9:12
[sessionpreviews@popl'24] type theory: session preview
-
9:57
[sessionpreviews@popl'24] parallelism: session preview
-
8:42
[sessionpreviews@popl'24] mechanized proofs: session preview
-
8:15
[sessionpreviews@popl'24] probabilistic programs: session preview
-
11:01
[sessionpreviews@popl'24] quantum computing: session preview