@inproceedings{DBLP:conf/ppopp/BotincanDDP11,
  author       = {Matko Botincan and
                  Mike Dodds and
                  Alastair F. Donaldson and
                  Matthew J. Parkinson},
  editor       = {Calin Cascaval and
                  Pen{-}Chung Yew},
  title        = {Automatic safety proofs for asynchronous memory operations},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA, February 12-16, 2011},
  pages        = {313-314},
  publisher    = {{ACM}},
  year         = {2011},
  doi          = {10.1145/1941553.1941605},
}