Bringing the WebAssembly Standard up to Speed with SpecTec
Venue
Proceedings of the ACM on Programming Languages, Volume 8, Issue PLDI (PLDI 2024)
Publication Year
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