PLMW@PLDI 2024
who it's for
programming languages researchers, compiler engineers, security researchers, concurrency researchers, program synthesis engineers, academic researchers, research and development managers
topics
program optimization taxonomy; term rewriting and confluence proofs; instruction selection via tree covering; e-graphs and equality saturation; volcano query optimization; threat models and hyperproperties; timing attacks in cloud racks; weak memory models and out-of-thin-air; CPU-GPU shared-memory challenges; interactive program synthesis with projection boxes; grammar-based synthesis with SMT backends; distributed SAT solvers and proof production
| title | author | length |
|---|---|---|
| Uncertainty and my scientific journey | Aws Albarghouthi | 41m |
Defines uncertainty as lack of knowledge plus no clear path to acquire it, and shows concrete tactics: prints a stack of CAV papers to learn paper structure… | ||
| A Tour of Program Optimization | Max Willsey | 37m |
Presents a concrete taxonomy: program optimization splits into transformation (term rewriting, local rewrites, termination and confluence proofs) and synthesis… | ||
| How to read a PL-security paper | Aslan Askarov | 38m |
Provides a concrete checklist: verify the threat model (who the attacker is, where they sit, what they can observe), insist on a clear, semantic policy and… | ||
| A Tale of Shared Memory Concurrency in Programming Languages | Soham Chakraborty | 30m |
A concise history of shared‑memory models that shows why language semantics keep changing: concrete example where the outcome a=b=1 outcome on ARM/Power is… | ||
| Letting users do the undecidable: lessons from program synthesis | Hila Peleg | 31m |
Argues that undecidable program synthesis becomes usable by shifting work into an interaction model and adapting the synthesizer: examples go through a live UI… | ||
| Thoughts on the interplay between corporate, government, and university R&D | Byron Cook | 01h 09m |
Corporate R&D funds specific tools (paid development of CVC5 proof production), government programs seed large projects (DARPA’s multi‑million PROV effort to… | ||
| nothing matches | ||