| Two mechanisations of WebAssembly 1.0 C Watt, X Rao, J Pichon-Pharabod, M Bodin, P Gardner Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 28 | 2021 |
| Iris-wasm: Robust and modular verification of webassembly programs X Rao, AL Georges, M Legoupil, C Watt, J Pichon-Pharabod, P Gardner, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 1096-1120, 2023 | 16 | 2023 |
| Bringing the webassembly standard up to speed with spectec D Youn, W Shin, J Lee, S Ryu, J Breitner, P Gardner, S Lindley, M Pretnar, ... Proceedings of the ACM on Programming Languages 8 (PLDI), 1559-1584, 2024 | 5 | 2024 |
| Wasm SpecTec: Engineering a Formal Language Standard J Breitner, P Gardner, J Lee, S Lindley, M Pretnar, X Rao, A Rossberg, ... arXiv preprint arXiv:2311.07223, 2023 | 1 | 2023 |
| Progressful Interpreters for Efficient WebAssembly Mechanisation X Rao, S Radziuk, C Watt, P Gardner Proceedings of the ACM on Programming Languages 9 (POPL), 627-655, 2025 | | 2025 |
