CS Colloquium: Martin Rinard (MIT) - Automatically Patching Errors in Software Systems
Tue, Dec 06, 2016 @ 04:00 PM - 05:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Martin Rinard , MIT
Talk Title: Automatically Patching Errors in Software Systems
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium.
Patching defects is a central activity in essentially all software development activities. Current practice relies almost exclusively on human developers to manually locate and patch each defect.
I will present two techniques for automatically patching software defects. Both leverage the enormous amount of software and software revision histories produced by open-source software development efforts.
The first technique locates and transfers correct code from a donor application into a recipient application to eliminate defects in the recipient. The second technique generates and searches a space of potential patches, using a model of correct code learned from previous successful patches to guide the search. The experimental results highlight the potential of these two techniques to automate the elimination of many defects.
Biography: Martin Rinard is a Professor in the Department of EECS at MIT and a member of the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL). His research interests include programming languages, computer security, program analysis, program verification, software engineering, and distributed and parallel computing.
Prominent results include automatic techniques that enable applications to survive otherwise fatal errors and security attacks, and techniques that trade off accuracy of end-to-end results in return for increased performance and resilience.
He holds a PhD in Computer Science from Stanford University. He is an ACM Fellow, and has received many awards including the Alfred P. Sloan Research Fellowship and numerous Distinguished and Best Paper awards from top venues of his field.
Host: Chao Wang
Location: Henry Salvatori Computer Science Center (SAL) - 101
Audiences: Everyone Is Invited
Contact: Assistant to CS chair