Conrad Watt

Orcid: 0000-0002-0596-877X

According to our database1, Conrad Watt authored at least 21 papers between 2015 and 2025.

Collaborative distances:

Timeline

2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
2
1
5
2
1
2
1
1
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.
Proc. ACM Program. Lang., 2025

Progressful Interpreters for Efficient WebAssembly Mechanisation.
Proc. ACM Program. Lang., 2025

2024
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang., 2024

2023
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang., January, 2023

WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.
Proc. ACM Program. Lang., 2023

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proc. ACM Program. Lang., 2023

Wasm SpecTec: Engineering a Formal Language Standard.
CoRR, 2023

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

Capstone: A Capability-based Foundation for Trustless Secure Memory Access.
Proceedings of the 32nd USENIX Security Symposium, 2023

2022
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.
Proc. ACM Program. Lang., 2022

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

2021
Isolation Without Taxation: Near Zero Cost Transitions for SFI.
CoRR, 2021

Two Mechanisations of WebAssembly 1.0.
Proceedings of the Formal Methods - 24th International Symposium, 2021

2020
Repairing and mechanising the JavaScript relaxed memory model.
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.
Proc. ACM Program. Lang., 2019

Weakening WebAssembly.
Proc. ACM Program. Lang., 2019

Position Paper: Progressive Memory Safety for WebAssembly.
Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019

A Program Logic for First-Order Encapsulated WebAssembly.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
WebAssembly.
Arch. Formal Proofs, 2018

Mechanising and verifying the WebAssembly specification.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2015
A Trusted Mechanised Specification of JavaScript: One Year On.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015


  Loading...