Program - POPL 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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		Adventures in Making Wasm Fast and More Secure WAW Shravan Ravi Narayan
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 Wasmtimeremote WAW Frank Emrich University of Edinburgh, UK, Daniel Hillerström Category Labs and The University of Edinburgh Link to publication 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:25 25m Talk		A Big-Step Compositional Continuation-Passing Semantics for WebAssembly WAW Guannan Wei Inria/ENS; Tufts University, Alexander Bai MPI-SWS, 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

WAW 2025 Program

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

WAW 2025 Program

Switch Program View

Program Display Configuration

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Get Calendar (iCal)

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