Treffer: SCRATCH : a tool for automatic analysis of dma races

Title:
SCRATCH : a tool for automatic analysis of dma races
Authors:
Donaldson, Alastair F., Kroening, Daniel, Ruemmer, Philipp
Source:
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming. :311-312
Availability:
http://dl.acm.org/doi/10.1145/1941553.1941604
Database:
ACM Full-Text Collection