CheckFence: checking consistency of concurrent data types on relaxed memory models.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Browse the full PLDI paper archive.