Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. - Luke Geeson; James Brotherston; Wilco Dijkstra; Alastair F. Donaldson; Lee Smith; Tyler Sorensen 001; John Wickerson (Proc. ACM Program. Lang., 2024)