Automatically comparing memory consistency models.

John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides

Browse the full POPL paper archive.