Back to Results
First PageMeta Content
Data management / Lock / Software bug / Deadlock / Linearizability / Linux kernel / Mutual exclusion / Parallel computing / Debugging / Concurrency control / Computing / Software


Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang
Add to Reading List

Document Date: 2011-07-05 11:53:12

Open Document

File Size: 242,26 KB

Share Result on Facebook
UPDATE