Automated Concurrency-Bug Fixing

TitleAutomated Concurrency-Bug Fixing
Publication TypeConference Paper
Year of Publication2012
AuthorsJin G, Zhang W, Deng D
Conference Name10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)
Date Published10/2012
PublisherUSENIX Association
Conference LocationHollywood, CA
ISBN Number978-1-931971-96-6
URLhttps://www.usenix.org/conference/osdi12/technical-sessions/presentation/jin