Sciweavers

21 search results - page 5 / 5
» A Graph-Based Data Model to Represent Transaction Time in Se...
Sort
View
ASPLOS
2006
ACM
14 years 2 days ago
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou