Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ISSTA
2009
ACM
12 years 2 days ago
SideTrack: generalizing dynamic atomicity analysis
Atomicity is a key correctness speciļ¬cation for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
books