Dr Jun SUN 學術報告會

Abstract: Behavioral models are useful for various software engineering tasks, especially for model checking. They are, however, often missing in practice. In this work, we propose a fully automated approach to learn stateful typestates by extending the classic active learning process to generate transition guards (i.e., propositions on data states). The proposed approach has been implemented in a tool called TzuYu and evaluated against a number of Java classes. TzuYu is also the starting of our effort on developing practical tools and methods for effective program analysis, through an integration of verification, testing, debugging and learning.

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 (e.g., formal specification,?model?checking) and cyber-security.?He?is the co-founder of the PAT model?checker. To this date,?he?has about 100 journal articles or peer-reviewed?conference papers. Jun is also the general co-chair of ICECCS'13 and program co-chair of FM'14.

?

Jun is currently the graduate committee chair for Information System Technology and Design (Computer Science equivalent) at SUTD. In the talk, he will briefly introduce the attractive PhD scholarship at SUTD.