RADISH: Always-on sound and complete race detection in software and hardware.

Joseph Devietti, Benjamin P. Wood, Karin Strauss, Luis Ceze, Dan Grossman, Shaz Qadeer

Browse the full ISCA paper archive.