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.

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

[pre-print], [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]