On the verification problem for weak memory models.

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Browse the full POPL paper archive.