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 @ Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2024)

• Compiler Testing With Relaxed Memory Models @ International Symposium on Code Generation and Optimization (CGO 2024)

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