S. Lu, J. Tucek, F. Qin and Y. Zhou, “AVIO: Detecting Atomicity Violations via Access Interleaving Invariants”, in Proc. of the 12th international conference on Architectural support for programming languages and operating systems (ASPLOS'06), pp. 37-48, ACM, New York, October 2006.