%0 Conference Paper %1 conf/asplos/LuTQZ06 %A Lu, Shan %A Tucek, Joseph A. %A Qin, Feng %A Zhou, Yuanyuan %B ASPLOS %D 2006 %E Shen, John Paul %E Martonosi, Margaret %I ACM %K dblp %P 37-48 %T AVIO: detecting atomicity violations via access interleaving invariants. %U http://dblp.uni-trier.de/db/conf/asplos/asplos2006.html#LuTQZ06 %@ 1-59593-451-0

@inproceedings{conf/asplos/LuTQZ06, added-at = {2023-10-12T00:00:00.000+0200}, author = {Lu, Shan and Tucek, Joseph A. and Qin, Feng and Zhou, Yuanyuan}, biburl = {https://www.bibsonomy.org/bibtex/2960e313f6ce9a18d97cb05b123709ff9/dblp}, booktitle = {ASPLOS}, crossref = {conf/asplos/2006}, editor = {Shen, John Paul and Martonosi, Margaret}, ee = {https://doi.org/10.1145/1168917.1168864}, interhash = {04cb7f3ded33d14f18a08d5c689c32ce}, intrahash = {960e313f6ce9a18d97cb05b123709ff9}, isbn = {1-59593-451-0}, keywords = {dblp}, pages = {37-48}, publisher = {ACM}, timestamp = {2024-04-10T01:55:33.000+0200}, title = {AVIO: detecting atomicity violations via access interleaving invariants.}, url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2006.html#LuTQZ06}, year = 2006 }