Papers

Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer. Analysing DMA Races in Multicore Software. In Proceedings of the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES'10). 2010.

Bibtex:

@inproceedings{DonaldsonKR_PLACES2010,
   title      = {Analysing {DMA} Races in Multicore Software},
   author     = {Alastair F. Donaldson and Daniel Kroening and
                 Philipp Ruemmer},
   booktitle  = {Proceedings of the 3rd Workshop on Programming
                 Language Approaches to Concurrency and Communication-Centric
                 Software (PLACES'10)},
   year       = {2010}
}