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

Room information: Dodgeball

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

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

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
Adventures in Making Wasm Fast and More Secure
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
WAWremote
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:25 - 16:50
WAW
Lighting talks and closing discussion
16:50 - 17:30

:
: