Shan Lu Joseph Tucek Feng Qin Yuanyuan Zhou AVIO: detecting atomicity violations via access interleaving invariants. 37-48 2006 conf/asplos/2006 ASPLOS http://doi.acm.org/10.1145/1168857.1168864 db/conf/asplos/asplos2006.html#LuTQZ06