[Colloquium] Li/MS Presentation/Dec 5, 2017

[Margaret Jaffey via Colloquium]

This is an announcement of Guangpu Li's MS Presentation.

------------------------------------------------------------------------------
Date:  Tuesday, December 5, 2017

Time:  10:30 AM

Place:  Ryerson 255

M.S. Candidate:  Guangpu Li

M.S. Paper Title: DFix: Automate Distributed Concurrency Bug Fixing

Abstract:
Fixing bugs in distributed system is challenging and time-consuming.
Fixing concurrency bugs in distributed system is especially difficult
as many nondeterminism involved. The various synchronization
mechanisms inside message handling and event-driven processing make
the timing hard to control. Existing tools that focus on single
machine software fixing cannot handle these synchronization
mechanisms, which introduces deadlock in patch. We present DFix , a
tool that automates the distributed system concurrency bugs fixing
process without introducing new functionality, new components, and
huge performance loss. DFix proposes a check-rollback solution for
fixing. DFix starts with the bug reports from exiting distributed
concurrency bug detection tool. Through static analysis,DFix chooses
the suitable location to check if need rollback to delay an operation.
The check condition is related to the address of delayed operation,
which provides fine granularity timing control. Our evaluation shows
that DFix can fix seven real-world bugs automatically within less than
one percent overhead.

Guangpu's advisor is Prof. Shan Lu

Login to the Computer Science Department website for details:
 https://www.cs.uchicago.edu/phd/ms_announcements#cstjygpl

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Margaret P. Jaffey            margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 156)               (773) 702-6011
The University of Chicago      http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=