Papers

Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer. SCRATCH: a Tool for Automatic Analysis of DMA Races. In Proceedings of the 16th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP'11), pages 311-312. ACM, 2011.

Bibtex:

@inproceedings{DonaldsonKR_PPoPP_Scratch2011,
   title      = {{SCRATCH}: a Tool for Automatic Analysis of {DMA}
                 Races},
   author     = {Alastair F. Donaldson and Daniel Kroening and
                 Philipp Ruemmer},
   booktitle  = {Proceedings of the 16th ACM SIGPLAN Annual Symposium
                 on Principles and Practice of Parallel Programming
                 (PPoPP'11)},
   pages      = {311-312},
   publisher  = {ACM},
   year       = {2011}
}