Conrad Watt

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Theory Revision

Predicate Calculus

Formal Language

Top Venues

Proc. ACM Program. Lang.

USENIX Security Symposium

Publications

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version). CoRR (2023)
Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
Wasm SpecTec: Engineering a Formal Language Standard. CoRR (2023)
Conrad Watt, Maja Trela, Peter Lammich, Florian Märkl
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, Prateek Saxena
Capstone: A Capability-based Foundation for Trustless Secure Memory Access. USENIX Security Symposium (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR (2022)
Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. Proc. ACM Program. Lang. 6 (POPL) (2022)
Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR (2021)
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner
Two Mechanisations of WebAssembly 1.0. FM (2021)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and Mechanising the JavaScript Relaxed Memory Model. CoRR (2020)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and mechanising the JavaScript relaxed memory model. PLDI (2020)
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
A Program Logic for First-Order Encapsulated WebAssembly. ECOOP (2019)
Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod
Weakening WebAssembly. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-wasm: type-driven secure cryptography for the web ecosystem. Proc. ACM Program. Lang. 3 (POPL) (2019)
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
Position Paper: Progressive Memory Safety for WebAssembly. HASP@ISCA (2019)
Conrad Watt
WebAssembly. Arch. Formal Proofs 2018 (2018)
Conrad Watt, John Renner, Natalie Popescu, Sunjay Cauligi, Deian Stefan
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem. CoRR (2018)
Conrad Watt
Mechanising and verifying the WebAssembly specification. CPP (2018)
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
A Program Logic for First-Order Encapsulated WebAssembly. CoRR (2018)
Philippa Gardner, Gareth Smith, Conrad Watt, Thomas Wood
A Trusted Mechanised Specification of JavaScript: One Year On. CAV (1) (2015)