PLMW @ POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
co-located with POPL 2025
POPL 2025 (series) / PLMW @ POPL 2025 (series) / Curtis Hotel Denver /

Room information: Dodgeball

VenueCurtis Hotel Denver
Room nameDodgeball
Floor2
Capacity90
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

Mon 20 Jan

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

09:00 - 10:30
Session 1WAW at Dodgeball
09:00
40m
Keynote
Full-Stack Correctness in Wasm: Eliminating Bugs Inside and Outside the Sandbox
WAW
Chris Fallin F5
09:40
25m
Talk
An MLIR Dialect for WebAssembly
WAW
Byeongjee Kang Carnegie Mellon University, Harsh Desai Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, USA
10:05
25m
Talk
Meta-tracing Interpreters in WebAssembly
WAW
Andrew Brown Portland State University, Andrew Tolmach Portland State University
11:00 - 12:30
Session 2WAW at Dodgeball
11:00
40m
Keynote
Removing the runtime from the TCB and other adventures in making Wasm fast and more secure
WAW
Deian Stefan University of California at San Diego
11:40
25m
Talk
A Coq Formalization of WebAssembly Execution Costs
WAW
John Shortt University of Ottawa
12:05
25m
Talk
The WebAssembly Component Model
WAW
Lucy Menon Microsoft, Luke Wagner Fastly
14:00 - 15:30
Session 3WAW at Dodgeball
14:00
40m
Keynote
Beyond the Baseline: Experimental WebAssembly for High Performance
WAW
Deepti Gandluri Google
14:40
25m
Talk
Continuing Stack Switching in Wasmtime
WAW
Frank Emrich University of Edinburgh, UK, Daniel Hillerström The University of Edinburgh
Pre-print
15:05
25m
Talk
Experience Report: Stack Switching in Wasm SpecTec
WAW
Yalun Liang Shanghai Jiao Tong University, Sam Lindley The University of Edinburgh, Andreas Rossberg Independent
16:00 - 17:30
Session 4WAW at Dodgeball
16:00
25m
Talk
A Transactions Extension for Web Assemblyremote
WAW
Eliot Moss University of Massachusetts at Amherst
16:30
20m
Talk
A Big-Step Compositional Continuation-Passing Semantics for WebAssembly
WAW
Guannan Wei Inria/ENS; Tufts University, Alexander Bai Tufts University, Dinghong Zhong Xi'an Jiaotong University, Jiatai Zhang Tufts University
16:50
40m
Talk
Lighting talks and closing discussion
WAW
Conrad Watt Nanyang Technological University

Tue 21 Jan

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

09:00 - 10:30
High-level abstraction and automationPEPM at Dodgeball
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 Skaanning Engtorp Department of Computer Science, University of Copenhagen
11:00 - 12:30
Language design, pedagogical tool, and staged interpreterPEPM at Dodgeball
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 Dodgeball
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 Dodgeball
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, Sam Lindley The University of Edinburgh
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
Dodgeball

WAW

Session 1

WAW

Session 2

WAW

Session 3

WAW

Session 4

Tue 21 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Dodgeball

PEPM

High-level abstraction and automation

PEPM

Language design, pedagogical tool, and staged interpreter

PEPM

Types and meta theory

PEPM

Macros, lenses, and LLMs

Mon 20 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Dodgeball
WAW
Full-Stack Correctness in Wasm: Eliminating Bugs Inside and Outside the ...
09:00 - 09:40
WAW
An MLIR Dialect for WebAssembly
09:40 - 10:05
WAW
Meta-tracing Interpreters in WebAssembly
10:05 - 10:30
WAW
Removing the runtime from the TCB and other adventures in making Wasm f ...
11:00 - 11:40
WAW
A Coq Formalization of WebAssembly Execution Costs
11:40 - 12:05
WAW
The WebAssembly Component Model
12:05 - 12:30
WAW
Beyond the Baseline: Experimental WebAssembly for High Performance
14:00 - 14:40
WAW
Continuing Stack Switching in Wasmtime
14:40 - 15:05
WAW
Experience Report: Stack Switching in Wasm SpecTec
15:05 - 15:30
WAWremote
A Transactions Extension for Web Assembly
16:00 - 16:25
WAW
A Big-Step Compositional Continuation-Passing Semantics for WebAssembly
16:30 - 16:50
WAW
Lighting talks and closing discussion
16:50 - 17:30

Tue 21 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Dodgeball
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