Compiler testing via a theory of sound optimisations in the C11/C++11 memory model.

Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli

Browse the full PLDI paper archive.