PLMW @ POPL 2024
2024-01-17
London, United Kingdom
[PLMW @ POPL 2020, PLMW @ POPL 2022, PLMW @ POPL 2023, PLMW @ POPL 2024, PLMW @ POPL 2025]
who it's for
programming languages graduate students, undergraduate researchers, programming languages faculty, research group leaders, academic mentors, research software engineers, technical program managers
topics
algebraic effects and handlers; do-notation and bind origins; SMT-backed refinement types; Liquid Haskell GHC plugin; mechanized progress and preservation proofs; information-flow control libraries; Safe Haskell for confinement; GDPR-mapped flow policies; polarization and focusing for GADTs; managing undergraduate research projects
| title | author | length |
|---|---|---|
| Opening | Derek Dreyer | 17m |
Conference includes 93 papers from 319 submissions, nine distinguished papers, two invited talks (Azay Farzon and Nate Foster), and session previews… | ||
| The Evolution of Effects | Nicolas Wu | 55m |
A concise history of effects traces monads → monad transformers → algebraic effects → higher-order effects, showing how do-notation origin and the bind symbol… | ||
| Refinement Types from Light to Deep Verification | Niki Vazou | 46m |
Shows a working Liquid Haskell plugin integrated with GHC that uses SMT-backed refinement types to prove light properties like safe indexing and… | ||
| The Potential of Information-Flow Control Research for helping GDPR Complia... | Alejandro Russo | 44m |
Presents a concrete engineering route: Haskell libraries that implement information‑flow control using labeled values and a family of monads (the Mac L monad)… | ||
| Consider Collaboration | Harrison Goldstein, Samantha Frohlich | 44m |
Argues that collaboration multiplies research output and effectiveness, citing one adviser’s record of 113 coauthored papers, four books and at least 60… | ||
| How to Give a Talk | Neel Krishnaswami | 42m |
Science is collective so talks sit between one‑on‑one conversations and papers and must manage attention by motivating a problem, giving a roadmap, and… | ||
| Managing undergraduate research, as mentor and mentee | Mae Milano | 51m |
Frame undergraduate research as a syllabus: pick mature research that yields a clear semester-sized goal, define measurable success, list prerequisites, and… | ||
| nothing matches | ||