WebAssembly: Was und wie geht es weiter? • Ben Titzer & Andreas Rossberg • GOTO 2017
WASM 3.0 with Andreas Rossberg
Dr. Andreas Rossberg | Evolving a formal language standard
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
Formal Wasm: Wasm 2.0 and Beyond - Andreas Rossberg
Andreas Rossberg - Bringing the Web up to Speed with WebAssembly
[Wadlerfest 2016] Andreas Rossberg: 1ML with Special Effects
BOB 2024 Andreas Rossberg - Keynote: Who's Afraid of the Turnstile?
Wasm Research Day 2023 – Andreas Rossberg
Ben Titzer & Andreas Rossberg - WebAssembly, Past, Present, and Future
[WAW@ICFP/SPLASH'25] [Keynote] Keynote and SpecTec demo
[POPL'22] Keynote: On WebAssembly
[ISMM24] Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store
ML workshop 2012. Andreas Rossberg: F-ing applicative functors.
WASM 3.0: garbage collection, threads, and more | Andreas Rossberg | PodRocket
Wasm Research Day 2024 – Andreas Rossberg, Engineering a Formal Language Spec
Qadeer & Rossberg & Chakravarty - The Move language for the Diem Blockchain
WebAssembly & Motoko on the Internet Computer
Community Conversations | Overview of Motoko, the Native Language of the IC
![[Wadlerfest 2016] Andreas Rossberg: 1ML with Special Effects](https://img.youtube.com/vi/ySgvctayCTw/0.jpg)
![[WAW@ICFP/SPLASH'25] [Keynote] Keynote and SpecTec demo](https://img.youtube.com/vi/PB2HLBiEbg8/0.jpg)
![[POPL'22] Keynote: On WebAssembly](https://img.youtube.com/vi/Ji2RSOeOwVU/0.jpg)
![[ISMM24] Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store](https://img.youtube.com/vi/CHj0AoUN82k/0.jpg)
