Re: [pl-seminar] practice talk 3pm today

["Guoliang Jin" <aliang@xxxxxxxxxxx>]

You still get 5 minutes to grab a donut before the talk starts :)

Guoliang

> 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.
>
>