Andreas Rossberg
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 9 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Conrad Watt12 talks
- Matija Pretnar4 talks
- Luna Phipps-Costin2 talks
- Jean Pichon-Pharabod12 talks
- Xiaojia Rao3 talks
- Bryan Parno22 talks
| title | conference | date |
|---|---|---|
| [Keynote] Keynote and SpecTec demo | WebAssembly Workshop @ ICFP/SPLASH 2025 | 2025-10-16 |
Wasm 3 is live with garbage collection, exception handling, tail calls, 64-bit addresses and multiple memories, and the spec is a fully end‑to‑end… | ||
| Experience Report: Stack Switching in Wasm SpecTec | WAW 2025 | 2025-01-20 |
Implements the STX stack‑switching extension in SpecTec by encoding captured continuations as lists of frames and using a bubbling semantics that escales… | ||
| Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store | ISMM 2024 | 2024-06-25 |
Wasm’s store evolves from a single flat byte memory to a multi-component store: ref types and generalized tables keep opaque pointers out of linear memory, GC… | ||
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| Keeping the asm in Wasm – Running high-level languages on a low-level VM | DLS 2023 | 2023-10-24 |
WebAssembly remains a low-level VM that intentionally exposes hardware-like costs and forbids unsafe access to registers, stack or self-modifying code, so… | ||
| Mutually Iso-Recursive Subtyping | OOPSLA 2023 | 2023-10-23 |
Shows the classic Amber rule forces an exponential encoding for mutually recursive iso-recursive types and instead defines a core calculus with declared upper… | ||
| Continuing WebAssembly with Effect Handlers | OOPSLA 2023 | 2023-10-23 |
WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit… | ||
| Is Wasm Becoming Garbage? (Keynote) | MPLR 2023 | 2023-10-22 |
Wasm now includes a new garbage‑collection extension that preserves a low‑level, language‑neutral design while adding typed reference types, structs, arrays… | ||
| As low-level as possible, but no lower | ICFP 2023 | 2023-09-04 |
WebAssembly claims a rigorous, fully formalized spec with multiple mechanizations and a reference interpreter; a new spec-DSL now generates the formal rules… | ||
| On WebAssembly | POPL 2022 Virtual Workshop | 2022-01-27 |
WebAssembly is a compact low-level virtual machine designed as a module-based bytecode (one .wasm equals one module) that runs in browsers, edge, blockchains… | ||
| nothing matches | ||