First Page | Document Content | |
---|---|---|
Date: 2012-09-10 16:24:23Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing | Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei ZhangAdd to Reading ListSource URL: people.cs.uchicago.eduDownload Document from Source WebsiteFile Size: 622,04 KBShare Document on Facebook |