POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
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
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
14:00 - 15:30
Session 3WAW at Dodgeball
14:00
40m
Keynote
Beyond the Baseline: Experimental WebAssembly for High Performance
WAW
14:40
25m
Talk
Continuing Stack Switching in Wasmtimeremote
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: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

Thu 23 Jan

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

13:20 - 14:40
SRC Finalist PresentationsStudent Research Competition at Dodgeball
13:20
80m
Poster
SRC Competition Talks
Student Research Competition

Hide past events

Mon 20 Jan

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

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

Thu 23 Jan

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

Hide past events