publications

Peer Reviewed Work and Workshops talks with DOIs

If you are expecting something here that you do not see, please check Arxiv, DBLP or Google Scholar.

PhD Thesis. Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers @ University College London 2026

[thesis], [BibTeX],

April 28, 2026
Mix Testing. Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations @ OOPSLA 2024

[pre-print], [video], [BibTeX], [Arm ABI spec], [Artifact] , [Easter egg],

October 20, 2024
Compiler Testing With Relaxed Memory Models @ CGO 2024

[pre-print], [BibTeX], [Artifact]

March 5, 2024
Weak Memory Demands Model-based Compiler Testing @ The Future of Weak Memory (POPL 2024)

[paper], [video], [BibTeX]

January 15, 2024

Feel free to email me if you have any questions using [email protected]