Bringing the WebAssembly Standard up to Speed with SpecTec Venue PLDI 2024 Publication date Jun 2024 Keywords WebAssembly Identifiers DOI: doi:10.1145/3656440 Authors Dongjun Youn Wonho Shin Jaehyun Lee Sukyoung Ryu Joachim Breitner Philippa Gardner Sam Lindley Matija Pretnar Xiaojia Rao Conrad Watt Andreas Rossberg Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation