Bringing the Web up to Speed with WebAssembly

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

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

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.