Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
@article{DBLP:journals/pacmpl/GeesonBDDS0W24,
author = {Luke Geeson and
James Brotherston and
Wilco Dijkstra and
Alastair F. Donaldson and
Lee Smith and
Tyler Sorensen and
John Wickerson},
title = {Mix Testing: Specifying and Testing {ABI} Compatibility of {C/C++} Atomics Implementations},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{OOPSLA2}},
pages = {442-467},
year = {2024},
doi = {10.1145/3689727},
}