@inproceedings{DBLP:conf/ppopp/DonaldsonKR11,
  author       = {Alastair F. Donaldson and
                  Daniel Kroening and
                  Philipp R{\"{u}}mmer},
  editor       = {Calin Cascaval and
                  Pen{-}Chung Yew},
  title        = {{SCRATCH:} a tool for automatic analysis of dma races},
  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        = {311-312},
  publisher    = {{ACM}},
  year         = {2011},
  doi          = {10.1145/1941553.1941604},
}