【会場】国立情報学研究所(NII) 12F 大学院講義室1(1212)
Speaker: Jun Sun (Singapore University of Technology and Design)
Title: Facilitating Program Analysis through Active Learning
Abstract: It is true that many of the program analysis problems are undecidable. Yet, experienced programmers solve instances of those problems everyday. One of reasons is perhaps that programmers are good at learning and constructing abstract models of the programs which then facilitate their problem solving. Recently, we have started a line of research which aims to solve program analysis problems by taking advantage of active learning techniques from the machine learning community, in a way inspired by what experienced programs would work. In this talk, I will present some preliminary research that we conducted on using active learning to automatically construct abstract models of Java programs, for program comprehension, verification and debugging.
Sun, Jun received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. In 2007, he received the prestigious LEE KUAN YEW postdoctoral fellowship in School of Computing of NUS. Since 2010, he joined Singapore University of Technology and Design (SUTD) as an Assistant Professor. He was a visiting scholar at MIT from 2011-2012. Jun’s research interests include software engineering, formal methods, software engineering, program analysis and cyber-security. He is the co-founder of the PAT model checker. To this date, he has more than 130 publications. Jun was the general co-chair of ICECCS’13 and PRDC’14 and program co-chair of FM’14. He is a number of conference program committee including FM’15 and ICSE’16.