TPSA 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
co-located with POPL 2025
POPL 2025 (series) / TPSA 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 at Room 6
Chair(s): Nada Amin Harvard University
09:00
10m
Day opening
Welcome
PEPM
Y. Annie Liu Stony Brook University
09:10
50m
Keynote
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
PEPM
Satnam Singh Groq
10:00
30m
Research paper
A type safe calculus for generating syntax-directed editors
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 Skaaning Engtorp Department of Computer Science, University of Copenhagen
11:00 - 12:30
Language design, pedagogical tool, and staged interpreterPEPM 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
William J. Bowman University of British Columbia
DOI Pre-print
11:45
30m
Research paper
Algebraic Stepper for Simple Modules
PEPM
Kenichi Asai Ochanomizu University, Hinano Akiyama Ochanomizu University
12:15
15m
Short-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
Types and meta theoryPEPM 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
Brigitte Pientka McGill University
14:45
30m
Research paper
Typed Program Analysis Without Encodings
PEPM
Barry Jay
15:15
15m
Short-paper
A Fuelled Self-Reducer for System T (Short Paper)
PEPM
Greg Brown University of Edinburgh
File Attached
16:00 - 17:30
Macros, lenses, and LLMsPEPM at Room 6
Chair(s): Y. Annie Liu Stony Brook University
16:00
15m
Short-paper
Type-Sensitive Algebraic Macros (Short Paper)Remote
PEPM
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
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
William J. Bowman University of British Columbia, Brigitte Pientka McGill University, Satnam Singh Groq
17:25
5m
Day closing
Farewell
PEPM
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

High-level abstraction and automation

PEPM

Language design, pedagogical tool, and staged interpreter

PEPM

Types and meta theory

PEPM

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