MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.

Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen

Browse the full ASPLOS paper archive.