Conrad Watt

Registered user since Wed 27 Dec 2017

Name:Conrad Watt
Country:United Kingdom
Affiliation:University of Cambridge
Research interests:mechanisation, relaxed-memory concurrency, WebAssembly


POPL 2024 Virtualization Chair in Organizing Committee
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI 2023 Author of WasmRef-Isabelle: a Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly within the PLDI Research Papers-track
Author of Iris-Wasm: Robust and Modular Verification of WebAssembly Programs within the PLDI Research Papers-track
POPL 2023 Committee Member in Program Committee within the POPL-track
Author of MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code within the POPL-track
PAW 2022 Committee Member in Program Committee within the PAW 2022-track
POPL 2022 Author of Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI within the POPL-track
PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
PLDI 2020 Author of Repairing and Mechanising the JavaScript Relaxed Memory Model within the PLDI Research Papers-track
REMS-DeepSpec 2020 Presenter of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
SPLASH 2019 Author of Weakening WebAssembly within the OOPSLA-track
ECOOP 2019 Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track
POPL 2019 Author of CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem within the Research Papers-track
PriSC 2019 Author of Trestle: Bridging the Performance and Safety Divide in WebAssembly within the PriSC 2019-track
CPP 2018 Author of Mechanising and Verifying the WebAssembly Specification within the CPP 2018-track