Conrad Watt
Orcid: 0000-0002-0596-877X
According to our database1,
Conrad Watt
authored at least 21 papers
between 2015 and 2025.
Collaborative distances:
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 OtherLinks
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
Proc. ACM Program. Lang., 2025
2024
Proc. ACM Program. Lang., 2024
2023
Proc. ACM Program. Lang., January, 2023
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.
Proc. ACM Program. Lang., 2023
Proc. ACM Program. Lang., 2023
Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).
CoRR, 2023
Proceedings of the 32nd USENIX Security Symposium, 2023
2022
Proc. ACM Program. Lang., 2022
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015