Conrad Watt

29 papers A* 2A 1B 2Journal 22Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark.
CoRR
Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt
2025 J jnl
Concurrency in WebAssembly: Experiments in the web and beyond.
ACM Queue
Conrad Watt
2025 J jnl
Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.
Proc. ACM Program. Lang.
Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
2025 J jnl
IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning.
CoRR
Qiyuan Xu, Renxi Wang, Haonan Li, David Sanán, Conrad Watt
2025 J jnl
Progressful Interpreters for Efficient WebAssembly Mechanisation.
Proc. ACM Program. Lang.
Xiaojia Rao, Stefan Radziuk, Conrad Watt, Philippa Gardner
2025 J jnl
Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241).
Dagstuhl Reports
Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, Michelle Thalakottur
2024 J jnl
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang.
Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
2024 J jnl
Generically Automating Separation Logic by Functors, Homomorphisms and Modules.
CoRR
Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
2023 J jnl
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).
CoRR
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
2023 A* conf
Capstone: A Capability-based Foundation for Trustless Secure Memory Access.
USENIX Security Symposium
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
2023 J jnl
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proc. ACM Program. Lang.
Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal
2023 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang.
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2023 J jnl
Wasm SpecTec: Engineering a Formal Language Standard.
CoRR
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
2023 J jnl
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.
Proc. ACM Program. Lang.
Conrad Watt, Maja Trela, Peter Lammich, Florian Märkl
2022 J jnl
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.
Proc. ACM Program. Lang.
Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
2022 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2021 J jnl
Isolation Without Taxation: Near Zero Cost Transitions for SFI.
CoRR
Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
2021 B conf
Two Mechanisations of WebAssembly 1.0.
FM
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner
2020 J jnl
Repairing and Mechanising the JavaScript Relaxed Memory Model.
CoRR
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2020 A* conf
Repairing and mechanising the JavaScript relaxed memory model.
PLDI
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2019 A conf
A Program Logic for First-Order Encapsulated WebAssembly.
ECOOP
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2019 J jnl
CT-wasm: type-driven secure cryptography for the web ecosystem.
Proc. ACM Program. Lang.
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
2019 — conf
Position Paper: Progressive Memory Safety for WebAssembly.
HASP@ISCA
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
2019 J jnl
Weakening WebAssembly.
Proc. ACM Program. Lang.
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod
2018 J jnl
A Program Logic for First-Order Encapsulated WebAssembly.
CoRR
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2018 J jnl
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem.
CoRR
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
2018 B conf
Mechanising and verifying the WebAssembly specification.
CPP
Conrad Watt
2018 J jnl
WebAssembly.
Arch. Formal Proofs
Conrad Watt
2015 — conf
A Trusted Mechanised Specification of JavaScript: One Year On.
CAV (1)
Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood