PEPM 2025
Tue 21 Jan 2025 Denver, Colorado, United States
co-located with POPL 2025
POPL 2025 (series) / PEPM 2025 (series) / Curtis Hotel Denver /

Room information: Room 6

VenueCurtis Hotel Denver
Room nameRoom 6
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30
High-level abstraction and automationPEPM 2025 at Room 6
Chair(s): Nada Amin Harvard University
09:00
10m
Day opening
Welcome
PEPM 2025
Y. Annie Liu Stony Brook University
09:10
50m
Keynote
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
PEPM 2025
Satnam Singh Groq
10:00
30m
Research paper
A type safe calculus for generating syntax-directed editors
PEPM 2025
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 Skaaning Engtorp Department of Computer Science, University of Copenhagen
11:00 - 12:30
Language design, pedagogical tool, and staged interpreterPEPM 2025 at Room 6
Chair(s): Sam Lindley The University of Edinburgh
11:00
45m
Keynote
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)
PEPM 2025
William J. Bowman University of British Columbia
DOI Pre-print
11:45
30m
Research paper
Algebraic Stepper for Simple Modules
PEPM 2025
Kenichi Asai Ochanomizu University, Hinano Akiyama Ochanomizu University
12:15
15m
Short-paper
Collapsing Towers for Side-Channel Security (Short Paper)
PEPM 2025
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
Types and meta theoryPEPM 2025 at Room 6
Chair(s): Kenichi Asai Ochanomizu University
14:00
45m
Keynote
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)
PEPM 2025
Brigitte Pientka McGill University
14:45
30m
Research paper
Typed Program Analysis Without Encodings
PEPM 2025
Barry Jay
15:15
15m
Short-paper
A Fuelled Self-Reducer for System T (Short Paper)
PEPM 2025
Greg Brown University of Edinburgh
File Attached
16:00 - 17:30
Macros, lenses, and LLMsPEPM 2025 at Room 6
Chair(s): Y. Annie Liu Stony Brook University
16:00
15m
Short-paper
Type-Sensitive Algebraic Macros (Short Paper)Remote
PEPM 2025
April Gonçalves University of Strathclyde, Robert Atkey University of Strathclyde
File Attached
16:15
30m
Research paper
Characterizations of Partial Well-Behaved Lenses
PEPM 2025
Keishi HASHIBA The University of Osaka, Keisuke Nakano Tohoku University, Kazuyuki Asada Tohoku University, Kentaro Kikuchi Tohoku University
16:45
40m
Panel
Semantics-based program manipulation in the age of LLMs
PEPM 2025
William J. Bowman University of British Columbia, Brigitte Pientka McGill University, Satnam Singh Groq
17:25
5m
Day closing
Farewell
PEPM 2025
Y. Annie Liu Stony Brook University

Mon 20 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 6

POPL Tutorials

POPL Tutorials

POPL Tutorials

POPL Tutorials

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 6

PEPM 2025

High-level abstraction and automation

PEPM 2025

Language design, pedagogical tool, and staged interpreter

PEPM 2025

Types and meta theory

PEPM 2025

Macros, lenses, and LLMs

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room 6
PEPM
Welcome
09:00 - 09:10
PEPM
The Missing Diagonal: High Level Languages for Low Level Systems (Invit ...
09:10 - 10:00
PEPM
A type safe calculus for generating syntax-directed editors
10:00 - 10:30
PEPM
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invit ...
11:00 - 11:45
PEPM
Algebraic Stepper for Simple Modules
11:45 - 12:15
PEPM
Collapsing Towers for Side-Channel Security (Short Paper)
12:15 - 12:30
PEPM
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk ...
14:00 - 14:45
PEPM
Typed Program Analysis Without Encodings
14:45 - 15:15
PEPM
A Fuelled Self-Reducer for System T (Short Paper)
15:15 - 15:30
PEPMRemote
Type-Sensitive Algebraic Macros (Short Paper)
16:00 - 16:15
PEPM
Characterizations of Partial Well-Behaved Lenses
16:15 - 16:45
PEPM
Semantics-based program manipulation in the age of LLMs
16:45 - 17:25
PEPM
Farewell
17:25 - 17:30