◆□◆GRACEメールマガジン2015/12/10 第48号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
=========================================================
◆◆第79回GRACEセミナー◆◆
=========================================================
今回のGRACEセミナーでは，形式手法やプログラム解析の専門家であるJun Sun博士に，能動学習を用いたプログラム解析についてご講演いただきます．
ぜひふるってご参加ください．
※今回のセミナーは英語で行われます。
◆◆第79回GRACEセミナー ◆◆
【日時】2015年12月17日（木）13:30-14:30
【会場】国立情報学研究所(NII) 12F 大学院講義室1(1212)
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【参加費】無料
参加ご希望の方は，下記よりご登録をお願いいたします:
http://ws.formzu.net/fgen/S68263081/
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—-
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.
Biography:
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.
—-
【主催】国立情報学研究所 ＧＲＡＣＥセンター
【協賛】NPO法人トップエスイー教育センター
【問い合わせ】
国立情報学研究所 本位田真一 (E-mail: honiden _AT_ nii.ac.jp)
※ __AT__をアットマークで置き換えてください。
