@inproceedings{ShZh2006,
   author = {Shan Lu, Joseph Tucek, Feng Qin, and Yuanyuan Zhou},
   title = {AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants},
   booktitle = {ASPLOS Architectural Support for Programming Languages and Operating Systems},
   year = {2006},
   category = {conference},
   format = {pdf},
}