PLMW @ POPL 2023
2023-01-17
Boston, United States
[PLMW @ POPL 2020, PLMW @ POPL 2022, PLMW @ POPL 2023, PLMW @ POPL 2024, PLMW @ POPL 2025]
| title | author | length |
|---|---|---|
| Introduction | Amal Ahmed | 17m |
PLMW emphasizes two concrete goals: get a grasp of what PL research is producing and meet people who do it. The program has 74 papers from 275 submissions, a… | ||
| Imagining the Reader | Benjamin C. Pierce | 52m |
Explains that the hard cause of bad papers is the curse of knowledge and gives concrete fixes: write a concise, falsifiable list of contributions first; assume… | ||
| Session Types Meet Polymorphism and Dependent Types | Peter Thiemann | 50m |
[PLMW @ POPL'23] Session Types Meet Polymorphism and Dependent Types
Peter Thiemann
We live in a world of connected services where geographically separate… | ||
| Anti-disciplinary: doing academic research when you like too many things | Chris Martens | 40m |
Work develops a linear-logic programming language called Scepter to model branching interactive narrative and a language for procedural content generation… | ||
| How (not) to give a great research talk | Leonidas Lampropoulos | 39m |
Explains concrete tactics: use a single running example to show the problem and the solution, omit messy details by honest simplification, and script the first… | ||
| Big Ideas in Program Synthesis | Nadia Polikarpova | 47m |
Survey of program synthesis highlights three concrete tactics and working tools: observational equivalence prunes enumerative search by keeping one… | ||
| Care and Feeding of Advisors | Stephen Chong | 49m |
Covers concrete signs to pick or switch advisors: check tenure clock and recent papers, ask current and former students about graduation times and placements… | ||
| nothing matches | ||