| * [Bringing the Web up to Speed with WebAssembly](pldi2017.pdf) |
| |
| Andreas Haas, Andreas Rossberg, Derek Schuff, Ben Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman |
| |
| ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) |
| |
| *Describes the WebAssembly design, its formalisation, and initial implementations.* |
| |
| * [Weakening WebAssembly](oopsla2019.pdf) |
| |
| Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod |
| |
| ACM-SIGPLAN Conference on Object-Oriented Programming, Systems, Language and Architectures (OOSPLA 2019) |
| |
| *Describes and formalises the extension of WebAssembly with threads and a suitable memory model.* |
| |
| * [Bringing the WebAssembly Standard up to Speed with SpecTec](pldi2024.pdf) |
| |
| Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Rao Xiaojia, Conrad Watt, Andreas Rossberg |
| |
| ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024) |
| |
| *Describes the design and implementation of Wasm SpecTec.* |
