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

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.