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