Bringing the WebAssembly Standard up to Speed with SpecTec
Authors
- Dongjun Youn
- Wonho Shin
- Jaehyun Lee
- Sukyoung Ryu
- Joachim Breitner
- Philippa Gardner
- Sam Lindley
- Matija Pretnar
- Xiaojia Rao
- Conrad Watt
- Andreas Rossberg
Venue
PLDI 2024
Publication Date
Jun 2024
Keywords
WebAssembly
Identifiers
- DOI: doi:10.1145/3656440