|[세미나] 의미 기반 프로그램 수정(Semantics-Based Program Repair) - 이주용 교수 (UNIST)|
다음주, 저희 정보보호대학원에서는 UNIST 이주용 교수님을 모시고 "의미 기반 프로그램 수정(Semantics-Based Program Repair) " 주제로 아래와 같이 세미나를 개최하고자 합니다.
※코로나19 확산방지를 위하여 원격수업으로(ZOOM) 진행할 예정입니다.
※ 발표 10분전에 소회의실 미팅으로 연사님과의 짧은 간담회 시간이 있습니다.
참여를 원하시는 분들은 줌의 참가기능을 이용하시면 됩니다.
= 아 래 =
- 21.6.8(화) 16:00~
※ 시작시간 5분전에 준비하여 주세요.
접속 비밀번호: 이메일 별도 공지
Title: 의미 기반 프로그램 수정(Semantics-Based Program Repair)
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. For example, Angelix, an automated bug fixing tool I co-developed, can generate a correct patch for Heartbleed automatically. In this talk, I will describe my work on program repair from various perspectives, focusing on the semantics-based technique, which first infers a patch specification, and then synthesizes a patch satisfying the inferred patch specification.
Jooyong Yi is currently 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 research interest is in software engineering and programming languages. His current research focus is on automated software engineering such as automated bug fixing. 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), ACM International Symposium on Software Testing and Analysis (ISSTA), and International Conference on Software Engineering (ICSE).