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, Singapore

Personal website: http://people.sutd.edu.sg/~sunjun/

Research interests: formal methods, software engineering, cyber-security

Contributions

ASE 2019Committee Member in Program Committee within the Research Papers-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
ISSTA 2019PC Member in Program Committee within the Tool Demonstration-track
Committee Member in Program Committee within the Technical Papers-track
FASE 2019Committee Member in Program Committee within the FASE 2019-track
ICSE 2020Committee Member in Program Committee within the New Ideas and Emerging Results-track
FormaliSE 2018Committee Member in Program Committee within the FormaliSE 2018-track
ICSE 2019Author of Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing within the Technical Track-track
Committee Member in Program Committee within the ACM Student Research Competition-track
SPIN 2017Committee Member in Program Committee
* ICSE 2018 *Author of Poster T24: Testing Heap-Based Programs with Java StarFinder within the Posters -track
Committee Member in Workshops program commitee within the Workshops-track
ACM Research Student Competition Chair in Organizing committee
Author of Static Analysis of Context Leaks in Android Applications within the SEIP - Software Engineering in Practice-track
Author of Towards Optimal Concolic Testing within the Technical Papers -track
Session Chair of Poster Exhibition (part of SRC - ACM Student Research Competition )
Author of Poster T54: Benchmarking Microservice Systems for Software Engineering Research within the Posters -track
Co-chair in Program Committee within the SRC - ACM Student Research Competition -track
VMCAIAuthor of Regular Symmetry Patterns within the VMCAI-track