Tue 16 Jul 2019 13:30 - 14:15 at Mancy - Talks

Developers spend a significant amount of their time fixing bugs. Fixes often are repetitive, so it appears that some portion of this work should be automated. Indeed, some recent approaches offer automation, but these typically explore a large space of potential fixes by making varying combinations of mutations, trying them all until one that passes the test suite. This is not only computationally expensive, but the suggested may not look natural to a developer. We present Getafix, a tool that offers readable bug fixes without requiring massive computational resources. Getafix leaarns from your bug fix history. It extracts past code changes that fixed bugs and learns, in an off-line phase, a set of templates from those fixes. As new bug reports appear, Getafix uses these templates to create and rank a set of suggestions in mere seconds, as well as offer fixes that resemble human-made fixes. At Facebook, Getafix has been used to suggest fixes for bugs reported by Infer.

Tue 16 Jul

Displayed time zone: Belfast change

13:30 - 15:00
TalksCurry On at Mancy
13:30
45m
Talk
Getafix: Learning to fix bugs automatically
Curry On
Andrew Scott Facebook, Johannes Bader Facebook, Satish Chandra Facebook
14:15
45m
Talk
Carp—A Language for the 21st Century
Curry On
Veit Heller Port Zero