PACER: proportional detection of data races.

Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley

Browse the full PLDI paper archive.