AVIO: detecting atomicity violations via access interleaving invariants.

Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou

Browse the full ASPLOS paper archive.