[Colloquium] Reminder: Liu/MS Presentation/Oct 24, 2016

[Margaret Jaffey via Colloquium]

This is a reminder about Haopeng's MS Presentation on Monday.

------------------------------------------------------------------------------
Date:  Monday, October 24, 2016

Time:  3:00 PM

Place:  Ryerson 277

M.S. Candidate:  Haopeng Liu

M.S. Paper Title: UNDERSTANDING AND GENERATING HIGH QUALITY PATCHES
FOR CONCURRENCY BUGS

Abstract:
Concurrency bugs are time-consuming to fix correctly by developers and
a severe threat to software reliability. Although many auto-fixing
techniques have been proposed recently for concurrency bugs, there is
still a big gap between the quality of automatically generated patches
and manually designed ones. This paper first conducts an in-depth
study of manual patches for 77 real-world concurrency bugs, which
provides both assessments for existing techniques and actionable
suggestions for future research. Guided by this study, a new tool HFix
is designed. It can automatically generate patches, which have
matching quality as manual patches, for many concurrency bugs.

Haopeng's advisor is Prof. Shan Lu

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

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