POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Mon 20 Jan 2025 10:05 - 10:30 at Dodgeball - Session 1

We will describe work in progress on constructing a meta-tracing JIT compiler to improve the performance of interpreted programs within WebAssembly. Our framework combines a set of independent tools that capture WebAssembly traces, identify loops in user programs, reconstruct optimized trace fragments, and transfer control from fragments via on-stack replacement. [Further details in the PDF submission].

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