Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Authors
- Xiaojia Rao
- Aïna Linn Georges
- Maxime Legoupil
- Conrad Watt
- Jean Pichon-Pharabod
- Philippa Gardner
- Lars Birkedal
Venue
44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023), pp. 151:1–151:25
Publication Date
2023
Keywords
WebAssembly, formal verification, separation logic, higher-order logic
Identifiers
- DOI: doi:10.1145/3591265