Our paper “Type and Interval Aware Array Constraint Solving for Symbolic Execution” won ACM SIGSOFT Distinguished Paper Award in ISSTA 2021.
Our paper “Verification Assisted Gas Reduction for Smart Contracts” won APSEC 2021 Best Paper.
Distinguished PC Member Award, by ASE 2021.
LEE KUAN YEW FELLOWSHIP from July 1, 2021 to June 30, 2023, awarded by Singapore Management University.
Our paper “SpecTest: Specification-based Compiler Testing” won EASST Best Paper Award at ETAPS 2021.
Our paper “White-box Fairness Testing through Adversarial Sampling” is selected for SIGSOFT Research Highlights 2020.
Our project “Testing and Defending AI-Systems Holistically” (led by Jun Sun) won Technology Cooperation Excellence Award from Huawei Singapore, 2020
ICSE 2020: ACM Sigsoft distinguished paper award for “White-box Fairness Testing through Adversarial Sampling” authored by Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong and Dai Ting.
ICSE 2020: Award for Distinguished reviewer
ICSE 2020: Award for Reliable Rapid Response Reviewer
LEE KONG CHIAN Fellowship from 2020 to 2021, awarded by Singapore Management University
IEEE Transactions on Software Engineering (TSE) Best Paper award 2018 for our article “Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study” authored by Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, and Dan Ding
PAT model checker (authored by Jun Sun, Yang Liu and Jinsong Dong) won “20 Year ICFEM Most Influential System Award” (at ICFEM 2018)
Project “Fuzzing AI-Systems for Adversarial Sample Generation and Mitigation” (led by Jun Sun) won Technology Cooperation Excellence Award from Huawei Singapore, 2019
ICSE 2018: ACM Distinguished Paper Award for “Towards Optimal Concolic Testing” authored by Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, and Yun Lin
ASE 2017: ACM Distinguished Paper Award for “FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers” authored by Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
LKY Postdoctoral Fellowship from National University of Singapore (2007-2010)
Dean’s Research Award at School of Computing, National University of Singapore, 2005
Singapore Ministry of Education Chinese Scholarship, 1998-2002
昆山市理科高考状元，1997