@article{Geeson-etal:24,
	author = {Geeson, Luke and Brotherston, James and Dijkstra, Wilco and Donaldson, Alastair F. and Smith, Lee and Sorensen, Tyler and Wickerson, John},
	title = {Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations},
	journal = {Proc. ACM Program. Lang.},
	number = {OOPSLA2},
	volume = {8},
	year = {2024},
	publisher = {ACM},
	articleno = {287}
}