CS Special Seminar: Dongsun Kim "Programs that Fix Programs"
Programs that Fix Programs
Monday, 7 March at 10:15
via Zoom: request the link by email [email protected]
Note! the link will be sent by email to CS staff.
Abstract: Developers have been faced with a number of bugs every day. Fixing bugs is tedious and time-consuming. Typical bug resolution tasks (i.e., debugging) include identifying bug locations, selecting bugs to fix, and writing patches to fix the bugs. Thus, recent research efforts focus on addressing the automation of these debugging tasks. This talk leads audiences to a journey of bug hunting by introducing the recent advancement of automated debugging. First, the two-phase localization model filters out deficient bug reports to avoid noisy input and enhance the accuracy of bug localization. Next, the bug prioritization approach selects bugs to fix first by using static information. Third, the pattern-based approach to program repair leverages human-written patches to automatically generate more acceptable bug patches. This talk also draws further directions of automated debugging such as repair by code search and automated fix pattern mining based on deep code representation.
Bio: Dongsun Kim is an assistant professor with the School of Computer Science and Engineering, Kyungpook National University, South Korea. He received his Ph.D. degree in Computer Science and Engineering from Sogang University, South Korea. His career includes several academic and industrial experiences. He was a postdoctoral fellow at the Hong Kong University of Science and Technology from September 2010 to June 2013. He joined the University of Luxembourg as a research associate in November 2013 and continued his position until November 2018. From April 2019, he worked as a senior software test engineer position at Furiosa.ai, a fabless startup company manufacturing neural processing units. He published several research papers and participated in multiple research projects relevant to software engineering and program analysis. In particular, he pioneered a new line of research on pattern-based program repair (he received an ACM SIGSOFT Distinguished Paper Award based on this effort). His research interests include automated debugging, fault localization, program repair, code search (for program repair), and deep code representation.