Doublechecker: Efficient sound and precise atomicity checking. (2014)

by S Biswas, J Huang, A Sengupta, M D Bond
Venue:In PLDI ’14,