*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Milos Prvulovic @ (404) 385-6364 or milos@cc.gatech.edu
Summary Sentence: Diagnosing and Fixing Concurrency Bugs
Full Summary: No summary paragraph submitted.
Guoliang Jin-Univ of WI-MadisonSCS Faculty Candidate Talk:
Guoliang Jin, University of Wisconsin-Madison
Title:
Diagnosing and Fixing Concurrency Bugs
Abstract:
In the current multi-core era, concurrency bugs are a growing threat to software reliability. Many advanced techniques have been proposed for concurrency-bug finding. However, finding bugs is just a start, and software reliability does not improve until these bugs are actually fixed. Unfortunately, fixing concurrency bugs is not trivial and developers are left to themselves to face the enormous pressure of fixing ever-so-many concurrency bugs. Despite all the efforts at developer sites, many concurrency bugs still slip into production runs and manifest at user sites as failures. Developers need to understand the reason behind a failure so that the same failure can be prevented from happening again.
In this talk, I will discuss my work on providing tool support for both bug fixing and failure diagnosis. I will first focus on automated concurrency-bug fixing, which builds upon the observation that concurrency bugs can be fixed by removing bad interleavings. I will present a prototype system, CFix, which assembles a set of bug detecting, synchronization enforcing, and testing techniques to automate the whole process of concurrency-bug fixing. Then I will discuss my work on production-run multi-threaded software failure diagnosis and describe the tools I built that have low run-time overhead and good capability in diagnosing failures caused by concurrency bugs.
Bio:
Guoliang Jin is a Ph.D. candidate in the Department of Computer Sciences at the University of Wisconsin–Madison. His research areas are software reliability and software systems, with a focus on understanding, detecting, diagnosing, and fixing concurrency bugs and performance bugs. His work on automated concurrency-bug fixing received a SIGPLAN CACM nomination with the comment "this is one of the first papers to attack the problem of automated bug fixing.
