RADISH: Always-on sound and complete race detection in software and hardware (2012)

by J Devietti, B P Wood, K Strauss, L Ceze, D Grossman, S Qadeer
Venue:In International Symposium on Computer Architecture