AVIO: Detecting Atomicity Violations via Access Interleaving Invariants (2006)
Cached
Download Links
- [carmen.cs.uiuc.edu]
- [www.cs.wisc.edu]
- [carmen.cs.uiuc.edu]
- DBLP
Other Repositories/Bibliography
by
Shan Lu
,
Joseph Tucek
,
Feng Qin
,
Yuanyuan Zhou
| Venue: | In ASPLOS |
| Citations: | 90 - 16 self |
BibTeX
@INPROCEEDINGS{Lu06avio:detecting,
author = {Shan Lu and Joseph Tucek and Feng Qin and Yuanyuan Zhou},
title = {AVIO: Detecting Atomicity Violations via Access Interleaving Invariants},
booktitle = {In ASPLOS},
year = {2006},
pages = {37--48}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract Concurrency bugs are among the most difficult to test and diagnoseof all software bugs. The multicore technology trend worsens this
