Compiler Testing With Relaxed Memory Models - Geeson, Luke (arXiv.org)