Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer. SCRATCH: a tool for automatic analysis of dma races. In Calin Cascaval, Pen-Chung Yew, editors, 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, ACM, 2011. [doi]
@inproceedings{DonaldsonKR11,
title = {SCRATCH: a tool for automatic analysis of dma races},
author = {Alastair F. Donaldson and Daniel Kroening and Philipp Rümmer},
year = {2011},
doi = {10.1145/1941553.1941604},
url = {http://doi.acm.org/10.1145/1941553.1941604},
tags = {analysis},
researchr = {https://researchr.org/publication/DonaldsonKR11},
cites = {0},
citedby = {0},
pages = {311-312},
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},
editor = {Calin Cascaval and Pen-Chung Yew},
publisher = {ACM},
isbn = {978-1-4503-0119-0},
}