Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. - Robin Morisset; Pankaj Pawan; Francesco Zappa Nardelli (PLDI, 2013)