Non-race concurrency bug detection through order-sensitive critical sections.

Ruirui C. Huang, Erik Halberg, G. Edward Suh

Browse the full ISCA paper archive.