Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Jun Sun

Registered user since Sun 30 Oct 2016

Name:Jun Sun
Bio:

SUN, Jun is an associate professor at Singapore Management University (SMU). He 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. From 2010 to 2019, he was an Assistant/Associate Professor at Singapore University of Technology and Design (SUTD). He was a visiting scholar at MIT from 2011-2012. Since 2019, he joined SMU as an associate professor. Jun’s research interests include software engineering, formal methods, program analysis and cyber-security. He is the co-founder of the PAT model checker.

Country:Singapore
Affiliation:Singapore Management University
Personal website:http://sunjun.site
Research interests:formal methods, software engineering, cyber-security, program analysis

Contributions

ECOOP and ISSTA 2021 Symbolic Execution
Session Chair of Symbolic Execution (part of Discussions with Experts)
ISSTA 2021 Type and Interval Aware Array Constraint Solving for Symbolic Execution
Attack as Defense: Characterizing Adversarial Examples using Robustness
Type and Interval aware Array Constraint Solving for Symbolic Execution
Committee Member in Program Committee within the Tool Demonstrations-track
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile