세미나안내

세미나안내

Automated Program Repair

2019-11-28
  • 4,362
이주용 교수(UNIST) / 2019.12.18

Biography

Jooyong Yi is an Assistant Professor at UNIST. He completed his PhD at Aarhus University in Denmark, and before joining UNIST, he worked in various places such as Kansas State University (USA), National University of Singapore, and Innopolis University (Russia). His expertise is in software engineering and programming languages. His current research focus is on automated software engineering such as automated bug fixing, repairing security vulnerabilities, and intelligent tutoring. He is one of the winners of the Facebook Testing and Verification Research Awards 2018. He has been serving as a program committee member of various premier conferences on software engineering such as ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) and ACM International Symposium on Software Testing and Analysis (ISSTA).

Abstract

The once-futuristic idea of automated bug fixing (a.k.a., automated program repair) is gradually becoming a reality. Companies such as Facebook have started to adopt automated bug fixing in their development pipeline, and automated bug fixing is now considered one of the most attractive research topics in the software engineering field. The goal of automated bug fixing is simple: generate bug patches automatically and suggest them to developers. Angelix, an automated bug fixing tool I co-developed, can generate a correct patch for Heartbleed automatically. In this talk, I will explain what enabled automatic fix of Heartbleed. In addition, the history and the state of the art of automated bug fixing will also be covered. This talk is intended for a general academic audience, and no specific background knowledge will be assumed.

목록