| Title: | SCRATCH: a Tool for Automatic Analysis of DMA Races |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Alastair Donaldson |
| Daniel Kroening EMail | |
| Philipp Rümmer | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{ppopp2011,
AUTHOR = { Donaldson, Alastair
and Kroening, Daniel
and R{\"u}mmer, Philipp },
TITLE = { {SCRATCH}: a Tool for Automatic Analysis of {DMA} Races },
BOOKTITLE = { Principles and Practice of Parallel Programming (PPOPP) },
YEAR = { 2011 },
PUBLISHER = { ACM },
PAGES = { 311--312 },
ISBN = { 978-1-4503-0119-0 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.