[pl-seminar] practice talk 3pm today

[Guoliang Jin <aliang@xxxxxxxxxxx>]

Hi Folks,

There will be a practice talk today at 3 pm in room 3310. This is a 
practice talk for the OSDI conference next week.
Thanks,
Guoliang

> * Automated Concurrency-Bug Fixing [1] Date: Tue, 10/02/2012 - 3:00pm -
>    4:00pm Room: 3310 Speaker Name: Guoliang Jin Speaker Institution:
>    University of Wisconsin--Madison
>
>    Guoliang Jin will do a practice talk for his upcoming OSDI paper,
>    "Automated Concurrency-Bug Fixing". The talk will be 25 minutes
> with time
>    for questions, feedback, and discussion afterward.
>
> Abstract:
>    Concurrency bugs are widespread in multithreaded programs. Fixing
> them is
>    time-consuming and error-prone. We present CFix, a system that
> automates
>    the repair of concurrency bugs. CFix works with a wide variety of
>    concurrency-bug detectors. For each failure-inducing interleaving
> reported
>    by a bug detector, CFix first determines a combination of
> mutual-exclusion
>    and order relationships that, once enforced, can prevent the buggy
>    interleaving. CFix then uses static analysis and testing to determine
>    where to insert what synchronization operations to force the desired
>    mutual-exclusion and order relationships, with a best effort to avoid
>    deadlocks and excessive performance losses. CFix also simplifies
> its own
>    patches by merging fixes for related bugs.   Evaluation using four
>    different types of bug detectors and thirteen real-world
> concurrency-bug
>    cases shows that CFix can successfully patch these cases without
> causing
>    deadlocks or excessive performance degradation. Patches automatically
>    generated by CFix are of similar quality to those manually written by
>    developers.