Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
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

AST 2020Program Committee in Program Committee within the AST 2020-track
ICSE 2020Author of Explaining Regressions via Alignment Slicing and Mending within the Journal First-track
Committee Member in Program Committee within the New Ideas and Emerging Results-track
Programme Committee in Program Committee within the Technical Papers-track
Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
Author of White-box Fairness Testing through Adversarial Sampling within the Technical Papers-track
Author of sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts within the Technical Papers-track
Show activities from other conferences

ICSE 2020-profile
View general profile