POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

This program is tentative and subject to change.

Mon 20 Jan 2025 16:00 - 16:25 at Dodgeball - Session 4

Our group has been working on designing and building an easily targeted runtime supporting managed language persistence built on top of non-volatile memory. A significant part of that support is providing transactions (essentially software transactional memory) over heap objects. We recently completed specification and prototyping of a transactions extension for WebAssembly (Wasm). We will present an overview of the extension, including use of the Wasm type system to reduce the number of required transaction access checks.

This program is tentative and subject to change.

Mon 20 Jan

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

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:30
20m
Talk
A Big-Step Compositional Continuation-Passing Semantics for WebAssembly
WAW
Guannan Wei Inria/ENS; Tufts University, Alexander Bai Tufts University, 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