@inproceedings{PPoPP-2011-BotincanDDP,
	author        = "Matko Botincan and Mike Dodds and Alastair F. Donaldson and Matthew J. Parkinson",
	booktitle     = "{Proceedings of the 16th Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/1941553.1941605",
	isbn          = "978-1-4503-0119-0",
	pages         = "313--314",
	publisher     = "{ACM}",
	title         = "{Automatic safety proofs for asynchronous memory operations}",
	year          = 2011,
}