DMCA

AVIO: Detecting Atomicity Violations via Access Interleaving Invariants (2006)

by Shan Lu , Joseph Tucek , Feng Qin , Yuanyuan Zhou
Venue:In ASPLOS
Citations:193 - 26 self