SCRATCH: a tool for automatic analysis of dma races
@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},
}