AVIO: detecting atomicity violations via access interleaving invariants (2006)

by S Lu, J Tucek, F Qin, Y Zhou
Venue:In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems