POPL 2022 Virtual Workshop
2022-01-27..2022-01-28
-- online --
POPL ·
[POPL 2021, POPL 2022, POPL 2022 Virtual Workshop, POPL 2023, POPL 2023 SRC, POPL 2024, POPL 2025, POPL 2026]
| title | author | length |
|---|---|---|
| Data-driven program analysis | Hakjoo Oh | 59m |
A data-driven static-analysis pipeline is presented that learns program abstractions (which variables get flow sensitivity, which functions get k‑CFA) by… | ||
| Proof Assistants for PL and Math | Kevin Buzzard, Kuen-Bang Hou (Favonia), Zhong Shao, Nicolas Tabareau | 01h 01m |
Panel reports active, practical work: large libraries (Lean + mathlib, ~700k LOC) and successful formalizations (including the four‑color style project and… | ||
| On WebAssembly | Andreas Rossberg | 01h 08m |
WebAssembly is a compact low-level virtual machine designed as a module-based bytecode (one .wasm equals one module) that runs in browsers, edge, blockchains… | ||
| Codex presentation & demo | Łukasz Kaiser | 01h 09m |
A large transformer model trained on public GitHub code generates code token-by-token and often produces syntactically valid completions; evaluation on the… | ||
| The Future of Concurrency and Parallelism | Stephanie Balzer, Jeehoon Kang, Keshav Pingali, Ilya Sergey | 01h 01m |
Panelists contrast concrete methods and hard surprises: mechanized proofs in Coq/Agda and concurrent separation logic are used to prove deadlock freedom and… | ||
| nothing matches | ||