59:21

[POPL'22] Tutorial: Data-driven program analysis

ACM SIGPLAN

1:00:48

[POPL'22] Panel 1: Proof Assistants for PL and Math

ACM SIGPLAN

1:07:59

[POPL'22] Keynote: On WebAssembly

ACM SIGPLAN

1:08:48

[POPL'22] Keynote: OpenAI Codex presentation & demo

ACM SIGPLAN

1:00:59

[POPL'22] Panel 2: The Future of Concurrency and Parallelism

ACM SIGPLAN