| Mechanising and Verifying the WebAssembly Specification C Watt Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 112 | 2018 |
| CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem C Watt, J Renner, N Popescu, S Cauligi, D Stefan Proceedings of the ACM on Programming Languages (POPL), 2019, 2019 | 102 | 2019 |
| Position Paper: Progressive Memory Safety for WebAssembly C Disselkoen, J Renner, C Watt, T Garfinkel, A Levy, D Stefan Proceedings of the 8th International Workshop on Hardware and Architectural …, 2019 | 50 | 2019 |
| Weakening WebAssembly C Watt, A Rossberg, J Pichon-Pharabod Proceedings of the ACM on Programming Languages 3 (OOPSLA), 133, 2019 | 36 | 2019 |
| Repairing and mechanising the JavaScript relaxed memory model C Watt, C Pulte, A Podkopaev, G Barbier, S Dolan, S Flur, ... PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming …, 2020 | 26 | 2020 |
| Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI M Kolosick, S Narayan, E Johnson, C Watt, M LeMay, D Garg, R Jhala, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 23 | 2022 |
| Two Mechanisations of WebAssembly 1.0 C Watt, X Rao, J Pichon-Pharabod, M Bodin, P Gardner Formal Methods 2021, 2021 | 23 | 2021 |
| MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code AE Michael, A Gollamudi, J Bosamiya, C Disselkoen, A Denlinger, C Watt, ... Principles of Programming Languages 2023, 2023 | 22 | 2023 |
| A Program Logic for First-Order Encapsulated WebAssembly C Watt, P Maksimović, NR Krishnaswami, P Gardner ECOOP 2019, 2019 | 17 | 2019 |
| 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 44th ACM SIGPLAN International Conference on Programming …, 2023 | 13 | 2023 |
| A Trusted Mechanised Specification of JavaScript: One Year On P Gardner, G Smith, C Watt, T Wood International Conference on Computer Aided Verification, 3-10, 2015 | 12 | 2015 |
| CAPSTONE: A Capability-based Foundation for Trustless Secure Memory Access JZ Yu, C Watt, A Badole, TE Carlson, P Saxena | 11 | 2023 |
| WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly C Watt, M Trela, P Lammich, F Märkl Proceedings of the ACM on Programming Languages 7 (PLDI), 100-123, 2023 | 7 | 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, 2024 | 1 | 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 | | 2023 |
| Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language C Watt University of Cambridge, 2021 | | 2021 |
| WebAssembly C Watt Archive of Formal Proofs, 2018 | | 2018 |
