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]
Abstract is missing.