%0 Journal Article %1 journals/micro/LuTQZ07 %A Lu, Shan %A Tucek, Joseph %A Qin, Feng %A Zhou, Yuanyuan %D 2007 %J IEEE Micro %K atomicity %N 1 %P 26-35 %T AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants. %U http://dblp.uni-trier.de/db/journals/micro/micro27.html#LuTQZ07 %V 27

@article{journals/micro/LuTQZ07, added-at = {2024-02-22T12:21:34.000+0100}, author = {Lu, Shan and Tucek, Joseph and Qin, Feng and Zhou, Yuanyuan}, biburl = {https://www.bibsonomy.org/bibtex/2ffbb32c7d5435095cf56fecf8793ad70/akshathabshenoy}, ee = {http://doi.ieeecomputersociety.org/10.1109/MM.2007.5}, interhash = {262277a7a5646da06fb43d091e140fbf}, intrahash = {ffbb32c7d5435095cf56fecf8793ad70}, journal = {IEEE Micro}, keywords = {atomicity}, number = 1, pages = {26-35}, timestamp = {2024-02-22T12:21:34.000+0100}, title = {AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.}, url = {http://dblp.uni-trier.de/db/journals/micro/micro27.html#LuTQZ07}, volume = 27, year = 2007 }