collaborators

1 paper

cs.PL2024

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations

Luke Geeson, James Brotherston, Wilco Dijkstra +4

The correctness of complex software depends on the correctness of both the source code and the compilers that generate corresponding binary code. Compilers must do more than preser…