WAW 2024
| title | author | length |
|---|---|---|
| What is a WebAssembly component (and why?) | Luke Wagner | 52m |
Defines a new module format that layers typed interfaces (WIT) and multi-module composition on top of core WebAssembly so each submodule keeps its own linear… | ||
| WALI: A thin Linux kernel interface for WebAssembly | Ben L. Titzer | 45m |
WALI implements a one-to-one Linux syscall mapping for WebAssembly, forwarding calls from Wasm to the kernel with minimal adaptation and preserving Wasm memory… | ||
| RichWasm: Bringing Safe, Fine-Grained, Shared Memory Interoperability to WebAssem... | Amal Ahmed | 43m |
RichWasm is a higher-level WebAssembly dialect with a capability-based type system that enforces fine-grained, cross-language shared-memory safety: it models… | ||
| Stack Switching in WebAssembly with Effect Handlers | Daniel Hillerström | 47m |
Proposes a Wasm extension, WasmFX, that models stacks as continuations and adds three core instructions to create, suspend and resume them. Provides a formal… | ||
| Mechanising WebAssembly Well? | Philippa Gardner | 30m |
Mechanization of WebAssembly focuses on two concrete routes: an extrinsic approach where preservation + progress yields an interpreter for free, and a… | ||
| Generating Executable Specification from Formal Semantics of WebAssembly | Sukyoung Ryu | 55m |
Generates an executable specification pipeline from the Wasm DSL into an algorithmic representation and a meta-level interpreter, producing the prose spec and… | ||
| A Brief Tour of Binaryen | Thomas Lively | 45m |
Binaryen is an open source WebAssembly optimizer and toolkit (C++ library and npm package) that provides wasm-opt, a disassembler, interpreter, linker… | ||
| Lightning Talks | 51m | |
A set of three-minute reports covers several concrete results: an intrinsically typed Wasm formalization that uses a separate operand stack, produces an… | ||
| nothing matches | ||