Ruirui C. Huang, Erik Halberg, G. Edward Suh. Non-race concurrency bug detection through order-sensitive critical sections. In Avi Mendelson, editor, The 40th Annual International Symposium on Computer Architecture, ISCA'13, Tel-Aviv, Israel, June 23-27, 2013. pages 655-666, ACM, 2013. [doi]
Abstract is missing.