Compiler Testing with Relaxed Memory Models.

Luke Geeson, Lee Smith

Browse the full CGO paper archive.