Conrad Watt

According to our database, Conrad Watt authored at least 25 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark.

Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt

CoRR, January, 2026

2025

IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning.

Qiyuan Xu, Renxi Wang, Haonan Li, David Sanán, Conrad Watt

CoRR, July, 2025

Utilising and Scaling the WebAssembly Semantics (Dagstuhl Seminar 25241).

Amal Ahmed, Andreas Rossberg, Deian Stefan, Conrad Watt, Michelle Thalakottur

Dagstuhl Reports, June, 2025

Concurrency in WebAssembly: Experiments in the web and beyond.

Conrad Watt

ACM Queue, 2025

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.

Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

Proc. ACM Program. Lang., 2025

Progressful Interpreters for Efficient WebAssembly Mechanisation.

Xiaojia Rao, Stefan Radziuk, Conrad Watt, Philippa Gardner

Proc. ACM Program. Lang., 2025

2024

Bringing the WebAssembly Standard up to Speed with SpecTec.

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

Proc. ACM Program. Lang., 2024

2023

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

Proc. ACM Program. Lang., January, 2023

WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.

Conrad Watt, Maja Trela, Peter Lammich, Florian Märkl

Proc. ACM Program. Lang., 2023

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.

Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal

Proc. ACM Program. Lang., 2023

Wasm SpecTec: Engineering a Formal Language Standard.

Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn

CoRR, 2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).

Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena

CoRR, 2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access.

Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.

Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

Proc. ACM Program. Lang., 2022

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

CoRR, 2022

2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI.

Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

CoRR, 2021

Two Mechanisations of WebAssembly 1.0.

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Repairing and mechanising the JavaScript relaxed memory model.

Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

CT-wasm: type-driven secure cryptography for the web ecosystem.

Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan

Proc. ACM Program. Lang., 2019

Weakening WebAssembly.

Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod

Proc. ACM Program. Lang., 2019

Position Paper: Progressive Memory Safety for WebAssembly.

Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan

Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019

A Program Logic for First-Order Encapsulated WebAssembly.

Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

WebAssembly.

Conrad Watt

Arch. Formal Proofs, 2018

Mechanising and verifying the WebAssembly specification.

Conrad Watt

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2015

A Trusted Mechanised Specification of JavaScript: One Year On.

Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood

Proceedings of the Computer Aided Verification - 27th International Conference, 2015