WebAssembly: Was und wie geht es weiter? • Ben Titzer & Andreas Rossberg • GOTO 2017
Dr. Andreas Rossberg | Evolving a formal language standard
Formal Wasm: Wasm 2.0 and Beyond - Andreas Rossberg
Andreas Rossberg - Bringing the Web up to Speed with WebAssembly
Wasm Research Day 2023 – Andreas Rossberg
Dr. Andreas Rossberg | Safety First: WebAssembly as a Formally Specified Universal Compute Platform
PLSS 2025: Opening and Keynote: Engineering a Formal Language Specification by Andreas Rossberg
BOB 2024 Andreas Rossberg - Keynote: Who's Afraid of the Turnstile?
[ISMM24] Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store
Ben Titzer & Andreas Rossberg - WebAssembly, Past, Present, and Future
WASM 3.0 with Andreas Rossberg
[Wadlerfest 2016] Andreas Rossberg: 1ML with Special Effects
Wasm Research Day 2024 – Andreas Rossberg, Engineering a Formal Language Spec
Qadeer & Rossberg & Chakravarty - The Move language for the Diem Blockchain
WASM 3.0: garbage collection, threads, and more | Andreas Rossberg | PodRocket
ML workshop 2012. Andreas Rossberg: F-ing applicative functors.
[DLS23] Keeping the asm in Wasm – Running high-level languages on a low-level VM
[WAW@ICFP/SPLASH'25] [Keynote] Keynote and SpecTec demo
Web Security Panel
Community Conversations | Overview of Motoko, the Native Language of the IC
![[ISMM24] Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store](https://img.youtube.com/vi/CHj0AoUN82k/0.jpg)
![[Wadlerfest 2016] Andreas Rossberg: 1ML with Special Effects](https://img.youtube.com/vi/ySgvctayCTw/0.jpg)
![[DLS23] Keeping the asm in Wasm – Running high-level languages on a low-level VM](https://img.youtube.com/vi/qzolKMKNZWs/0.jpg)
![[WAW@ICFP/SPLASH'25] [Keynote] Keynote and SpecTec demo](https://img.youtube.com/vi/PB2HLBiEbg8/0.jpg)
