Jun Sun

Registered user since Sun 30 Oct 2016

Name:Jun Sun
Bio:

SUN, Jun is a 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

ICSE 2024 Committee Member in Research Track within the Research Track-track
ESEC/FSE 2023 Committee Member in Program Committee within the Ideas, Visions and Reflections-track
ASE 2023 Committee Member in Program Committee within the Research Papers-track
ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
ICSE 2023 Author of Finding Causally Different Tests for an Industrial Control System within the Technical Track-track
Committee Member in New Ideas and Emerging Results within the NIER - New Ideas and Emerging Results-track
Author of DeepArc: Modularizing Neural Networks for the Model Maintenance within the Technical Track-track
Author of Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension within the Technical Track-track
ICST 2023 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2022 Workshop Co-Chair in Organizing Committee
Author of Adaptive Fairness Improvement Based on Causality Analysis within the Research Papers-track
Co-chair in Workshop Committee within the Workshops-track
Author of Code Integrity Attestation for PLCs using Black Box Neural Network Predictions within the ESEC/FSE 2021-track
Author of Graph-Based Seed Object Synthesis for Search-Based Unit Testing within the ESEC/FSE 2021-track
ASE 2022 Student Research Competition Co-Chair in Student Research Competition Chairs within the Student Research Competition-track
Student Research Competition Co-Chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
Author of Which neural network makes more explainable decisions? An approach towards measuring explainability within the Journal-first Papers-track
Author of LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles within the Research Papers-track
Author of QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks within the Research Papers-track
AISTA 2022 Author of Neural Network Fairness: Verification and Repair within the AISTA 2022-track
ICSE 2022 Author of Causality-Based Neural Network Repair within the Technical Track-track
Author of gDefect4DL: A Dataset of General Real-World Deep Learning Program Defects within the DEMO - Demonstrations-track
Author of ExAIS: Executable AI Semantics within the Technical Track-track
CAIN 2022 Committee Member in Program Committee within the CAIN 2022-track
POPL 2022 Author of A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic within the POPL-track
ASE 2021 Committee Member in Program Committee within the Research Papers-track
Author of FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning within the Research Papers-track
ESEC/FSE 2021 Author of Code Integrity Attestation for PLCs using Black Box Neural Network Predictions within the Research Papers-track
Author of Graph-Based Seed Object Synthesis for Search-Based Unit Testing within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ECOOP and ISSTA 2021 Author of Symbolic Execution within the Discussions with Experts-track
Session Chair of Symbolic Execution (part of Discussions with Experts)
ISSTA 2021 Author of Type and Interval Aware Array Constraint Solving for Symbolic Execution within the Technical Papers-track
Author of Attack as Defense: Characterizing Adversarial Examples using Robustness within the Technical Papers-track
Author of Type and Interval aware Array Constraint Solving for Symbolic Execution within the Artifact Evaluation-track
Committee Member in Program Committee within the Tool Demonstrations-track
ICSE 2021 Author of RobOT: Robustness-Oriented Testing for Deep Learning Systems within the Technical Track-track
Committee Member in Program Committee within the Technical Track-track
ASE 2020 Author of Accelerating All-SAT Computation with Short Blocking Clauses within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Towards Generating Thread-Safe Classes Automatically within the Research Papers-track
Author of Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction within the Research Papers-track
Session Chair of Verification and Testing (part of Research Papers)
ISSTA 2020 Author of Efficient Testing of Cyber-Physical Systems within the TAV-CPS/IoT-track
Author of Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing within the Technical Papers-track
Author of Active Fuzzing for Testing and Securing Cyber-Physical Systems within the Technical Papers-track
ICSE 2020 Author 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
AST 2020 Program Committee in Program Committee within the AST 2020-track
VMCAI 2020 Author of Systematic Classification of Attackers via Bounded Model Checking within the VMCAI 2020-track
APLAS 2019 Author of Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning within the Research Papers-track
ASE 2019 Author of Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement within the Journal First Presentations-track
Committee Member in Program Committee within the Research Papers-track
Author of Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences within the Research Papers-track
Session Chair of Testing and Program Analysis (part of Papers)
Author of MAP-Coverage: a Novel Coverage Criterion for Testing Thread-Safe Classes within the Research Papers-track
ISSTA 2019 PC Member in Program Committee within the Tool Demonstration-track
Committee Member in Program Committee within the Technical Papers-track
ICSE 2019 Author 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
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
* 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
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track
SPIN 2017 Committee Member in Program Committee
VMCAI Author of Regular Symmetry Patterns within the VMCAI-track