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

Sebastian Burckhardt Rajeev Alur Milo M. K. Martin CheckFence: checking consistency of concurrent data types on relaxed memory models. 12-21 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250737 db/conf/pldi/pldi2007.html#BurckhardtAM07