Avio: Detecting atomicity violations via accessinterleaving invariants (2006)

by S Lu, J Tucek, F Qin, Y Zhou
Venue:in ACM Intl’ Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS