* [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.*