Login / Signup

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

Robin MorissetPankaj PawanFrancesco Zappa Nardelli
Published in: PLDI (2013)
Keyphrases