Academic Services
- PC member of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2024
- PC member of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) SRC & Artifacts 2023
- PC member of the 34rd International Symposium on Software Reliability Engineering(ISSRE) 2023
- PC member of the 20th International Conference on Mining Software Repositories (MSR) 2023
- PC member of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2023
- PC member of the 45th International Conference on Software Engineering (ICSE) Posters Track 2023
- Reviewer of ICCV 2023
- Organizer of the 6th Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE) in conjunction with ESEC/FSE 2022
- Organizer of the 2nd Workshop on AI and Software Testing/Analysis (AISTA) in conjunction with ISSTA 2022
- Guest Editor of IEEE TDSC Special Issue “SI-Reliability and Robustness in AI-Based Cybersecurity Solutions” 2022
- PC member of the 32nd International Symposium on Software Reliability Engineering (ISSRE) 2022
- PC member of the ACM Student Research Competition (ASE) 2022
- PC member of the ESEC/FSE Artifacts 2022
- PC member of the International Conference on Computer Vision (ICCV) 2022
- PC member of the 36th AAAI Conference on Artificial Intelligence (AAAI) 2022
- PC member of the 10th International Conference on Learning Representations (ICLR) 2022
- PC member of the 35th Conference on Neural Information Processing Systems (NeurIPS) 2021
- PC member of the 32nd International Symposium on Software Reliability Engineering (ISSRE) 2021
- Organizer of the 1st Workshop on AI and Software Testing/Analysis (AISTA) in conjunction with ISSTA 2021
- PC member of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Doctoral Symposium (ISSTA, DS) 2021
- Guest Editor of “Quality Assurance, Security, Trustworthy, Testing, Attack, Defense”, (Frontiers in Big Data) 2021
- PC member of the 35th AAAI Conference on Artificial Intelligence (AAAI) 2021
- Local Chair of the 26th Asia-Pacific Software Engineering Conference (APSEC) 2020
- Local Chair of the 12nd Asia-Pacific Symposium on Internetware (Internetware) 2020
- PC member of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS) 2020
- PC member of the 2020 International Conference on Frontiers in Cyber Security (FCS) 2020
- PC member of the 12th International Conference on Advances in System Testing and Validation Lifecycle (VALID) 2020
- Web Chair of the 19th International Conference on Engineering of Complex Computer Systems (ICECCS) 2014
- Student Volunteer of the 18th International Symposium on Formal Methods (FM) 2014
- Reviewer/sub-reviewer of journals and conferences: IEEE Transactions on Reliability 2020, Cybersecurity 2019, 2020, ASE 2016, 2017, 2018，2019, 2020, ICSE 2017, ICECCS 2014, 2015, 2016, 2020, FSE 2017, 2018, 2019, ISSTA 2018. TSE 2018, ICFEM 2015, 2016, FM 2014, 2019, TOSEM 2020, JSS 2021, TNSM 2021 <!–
Invited Talks:
- “Towards Characterising Adversarial Defects of Deep Learning Software from the Lens of Uncertainty”, China Computer Federation (CCF) invited talk, May, 2020
- Towards Quality Assurance of Deep Learning Systems
Beijing University of Posts and Telecommunications, China, July, 2019 - Coverage-guided Testing for Deep Neural Networks
Tianjin University, China, June, 2019 - Proteus: computing disjunctive loop summary via path dependency analysis
The Annual Conference on Software Analysis, Testing and Evolution, 2016 - Loop Termination Analyais
Institute of Software, Chinese Academy of Sciences, 2016 - Automatic Loop Summarization for Multi-path Loops
Beihang University, 2016 –>