GRACEメールマガジン2015/12/10 第48号

◆□◆GRACEメールマガジン2015/12/10 第48号◆□◆



今回のGRACEセミナーでは,形式手法やプログラム解析の専門家であるJun Sun博士に,能動学習を用いたプログラム解析についてご講演いただきます.


◆◆第79回GRACEセミナー ◆◆

【会場】国立情報学研究所(NII) 12F 大学院講義室1(1212)
〒101-8430 東京都千代田区一ツ橋2-1-2




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.

【主催】国立情報学研究所 GRACEセンター
国立情報学研究所 本位田真一 (E-mail: honiden _AT_
※ __AT__をアットマークで置き換えてください。

カテゴリー: メルマガ パーマリンク