First Page | Document Content | |
---|---|---|
Date: 2011-07-05 11:53:12Data 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 ZhangAdd to Reading ListSource URL: people.cs.uchicago.eduDownload Document from Source WebsiteFile Size: 242,26 KBShare Document on Facebook |