POPL 2025 (series) / WAW 2025 (series) / WAW 2025 - WebAssembly Workshop / A Transactions Extension for Web Assembly
A Transactions Extension for Web Assemblyremote
This program is tentative and subject to change.
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 JanDisplayed time zone: Mountain Time (US & Canada) change
Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change
16:00 - 17:30 | |||
16:00 25mTalk | A Transactions Extension for Web Assemblyremote WAW Eliot Moss University of Massachusetts at Amherst | ||
16:30 20mTalk | 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 40mTalk | Lighting talks and closing discussion WAW Conrad Watt Nanyang Technological University |