SCRATCH: a tool for automatic analysis of dma races.

Alastair F. Donaldson, Daniel Kroening, Philipp Rmmer

Browse the full PPoPP paper archive.