Conrad Watt -

Registered user since Wed 27 Dec 2017

Name:Conrad Watt

Country:United Kingdom

Affiliation:University of Cambridge

Personal website:https://www.cl.cam.ac.uk/~caw77/

Research interests:mechanisation, relaxed-memory concurrency, WebAssembly

Contributions

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