Conrad Watt

According to our database, Conrad Watt authored at least 19 papers between 2015 and 2024.

Collaborative distances:

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

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