POPL 2025 (series) / PEPM 2025 (series) /
PEPM 2025 Program
This is the PEPM 2025 program - see the full program for POPL 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change
Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | High-level abstraction and automationPEPM at Scissors Chair(s): Sam Lindley The University of Edinburgh | ||
09:00 10mDay opening | Welcome PEPM Y. Annie Liu Stony Brook University | ||
09:10 50mKeynote | The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract) PEPM Satnam Singh Groq DOI | ||
10:00 30mResearch paper | A Type Safe Calculus for Generating Syntax-Directed EditorsRemote PEPM Andreas Tor Mortensen Department of Computer Science, Aalborg University, Benjamin Bennetzen Department of Computer Science, Aalborg University, Nikolaj Rossander Kristensen Department of Computer Science, Aalborg University, Peter Buus Steffensen Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, Sune Skaanning Engtorp Department of Computer Science, University of Copenhagen DOI | ||
11:00 - 12:30 | Language design, pedagogical tool, and staged interpreterPEPM at Scissors Chair(s): Michael Hanus Kiel University | ||
11:00 45mKeynote | The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk) PEPM William J. Bowman University of British Columbia DOI Pre-print File Attached | ||
11:45 30mResearch paper | Algebraic Stepper for Simple Modules PEPM DOI | ||
12:15 15mShort-paper | Collapsing Towers for Side-Channel Security (Short Paper) PEPM Cameron Wong Harvard SEAS, Muhammad Abdullah MIT, Yuheng Yang MIT, Mengjia Yan MIT, Adam Chlipala Massachusetts Institute of Technology, Nada Amin Harvard University File Attached | ||
14:00 - 15:30 | |||
14:00 45mKeynote | A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract) PEPM Brigitte Pientka McGill University DOI | ||
14:45 30mResearch paper | Typed Program Analysis without Encodings PEPM DOI | ||
15:15 15mShort-paper | A Fuelled Self-Reducer for System T (Short Paper) PEPM Greg Brown University of Edinburgh File Attached | ||
16:00 - 17:30 | |||
16:00 15mShort-paper | Type-Sensitive Algebraic Macros (Short Paper)Remote PEPM File Attached | ||
16:15 30mResearch paper | Characterizations of Partial Well-Behaved Lenses PEPM Keishi HASHIBA The University of Osaka, Keisuke Nakano Tohoku University, Kazuyuki Asada Tohoku University, Kentaro Kikuchi Tohoku University DOI | ||
16:45 40mPanel | Semantics-based program manipulation in the age of LLMs PEPM William J. Bowman University of British Columbia, Brigitte Pientka McGill University, Satnam Singh Groq, Sam Lindley The University of Edinburgh | ||
17:25 5mDay closing | Farewell PEPM Y. Annie Liu Stony Brook University | ||