PLMW @ POPL 2025
2025-01-19..2025-01-25
Denver, United States
[PLMW @ POPL 2020, PLMW @ POPL 2022, PLMW @ POPL 2023, PLMW @ POPL 2024, PLMW @ POPL 2025]
who it's for
late stage undergraduate students, early stage graduate students, phd applicants, academic researchers, compiler engineers, security researchers
topics
talk giving techniques; slide design and rehearsal; paper writing CGI structure; multi page key ideas section; conference networking strategies; secure compilation with CompCert; compartmentalizing compiler passes; CHERI capability backend; RISC-V backend targets; software fault isolation techniques; gradual verification and incorrectness logic; machine checked compiler proofs
| title | author | length |
|---|---|---|
| How to give a good talk | Michael Greenberg | 42m |
Presents a concrete inform educate entertain framework: start by motivate up front with a clear problem–solution or value claim (efficiency, correctness… | ||
| PLMW Panel | Ronald Garcia, Mike Dodds, Alexandre Moine, Jenna DiVincenzo | 41m |
Career-panelists compare concrete career moves and tactics: experiences range from working at an employee‑owned consultancy with ~110 engineers to junior… | ||
| Getting the Most Out of POPL | Joseph W. Cutler | 49m |
Conference plan: 82 talks translate to about 13 hours of presentations; aim to spend roughly 40% of each day not watching talks to network and rest. Prioritize… | ||
| How to Write Papers So People Can Read Them | Derek Dreyer | 51m |
A concrete checklist of writing moves: state the CGI (context–gap–innovation) trio in the abstract/intro, introduce essential notation just in time, give a… | ||
| My Journey in Secure Compilation | Cătălin Hriţcu | 15m |
Provides a machine-checked compiler pipeline that enforces compartmentalization and limits undefined behavior to compromised compartments, implemented as… | ||
| nothing matches | ||