@inproceedings{Shan.avio.Asplos06,
   author = "Shan Lu and Joe Tucek and Feng Qin and Yuanyuan Zhou",
   title  = "AVIO: Detecting Atomicity Violations via
Access-Interleaving Invariants",
   booktitle = "Proceedings of the International Conference on
Architecture Support for Programming Languages and Operating Systems",
   month  = "October",
   year   = "2006",
}