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

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 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

Mon 20 Jan

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

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