Shan Lu Joseph Tucek Feng Qin Yuanyuan Zhou AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. 26-35 2007 27 IEEE Micro 1 http://doi.ieeecomputersociety.org/10.1109/MM.2007.5 db/journals/micro/micro27.html#LuTQZ07