• <em id="gqsns"></em>

    <em id="gqsns"><strike id="gqsns"></strike></em>
    1. <dd id="gqsns"></dd>
      <tbody id="gqsns"></tbody>

    2. <em id="gqsns"><acronym id="gqsns"><u id="gqsns"></u></acronym></em>
    3. <th id="gqsns"><big id="gqsns"></big></th>
    4. <rp id="gqsns"></rp>
      您位于: 首頁 / Events / Dr Jun SUN 學術報告會

      Dr Jun SUN 學術報告會

      Title: TzuYu: Learn for the Better Speaker: Dr. Jun SUN Venue: Room 1504,No.1 Science Building Time : 10:00am—11:30am,28 November 2013

      事件詳細信息

      時間

      2013-11-28
      起始時間 10:00 結束時間 11:30

      地點

      1504

      名字

      把事件添加到日歷

      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.

      环亚彩票计划