SCRATCH: a tool for automatic analysis of dma races

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]

Authors

Alastair F. Donaldson

This author has not been identified. Look up 'Alastair F. Donaldson' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google

Philipp Rümmer

This author has not been identified. Look up 'Philipp Rümmer' in Google