• 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.