%0 Conference Paper %1 Lu:2006:ADA %A Lu, Shan %A Tucek, Joseph %A Qin, Feng %A Zhou, Yuanyuan %B Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems %D 2006 %I ACM %K Atomicity Concurrency atomicity bug concurrency detection hardware invariant program support violation %P 37--48 %R 10.1145/1168857.1168864 %T AVIO: Detecting Atomicity Violations via Access Interleaving Invariants %@ 1-59593-451-0

@inproceedings{Lu:2006:ADA, acmid = {1168864}, added-at = {2017-02-09T13:58:02.000+0100}, author = {Lu, Shan and Tucek, Joseph and Qin, Feng and Zhou, Yuanyuan}, biburl = {https://www.bibsonomy.org/bibtex/285d5382f5a58abc477f95b76e67616c4/gron}, booktitle = {Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems}, doi = {10.1145/1168857.1168864}, interhash = {04cb7f3ded33d14f18a08d5c689c32ce}, intrahash = {85d5382f5a58abc477f95b76e67616c4}, isbn = {1-59593-451-0}, keywords = {Atomicity Concurrency atomicity bug concurrency detection hardware invariant program support violation}, location = {San Jose, California, USA}, numpages = {12}, pages = {37--48}, publisher = {ACM}, series = {ASPLOS XII}, timestamp = {2017-02-09T13:58:02.000+0100}, title = {AVIO: Detecting Atomicity Violations via Access Interleaving Invariants}, year = 2006 }