Service
Current Activities
- Publicity Co-Chair for the International Symposium on Software Testing and Analysis (ISSTA) 2025
- PC member for the International Conference of Software Engineering (ICSE) 2025
- PC member for the International Symposium on Software Testing and Analysis (ISSTA) 2024
- Poster Track committee member for FSE 2024
- Tool Demonstrations Track committee member for ISSTA 2024
- Member of the Organizing Committee for the Fuzzing Workshop 2024
- Organization Administrator for Java PathFinder at Google Summer of Code (GSoC) 2024
- Member of ACM TOSEM Board of Distinguished Reviewers
All Activities
Organisation
- ISSTA 2025 (Publicity Co-Chair)
- Fuzzing Workshop 2024 (Organizing Committee)
- Google Summer of Code (GSoC) 2024 (Organization Administrator for Java PathFinder)
- Fuzzing Workshop 2023 (Organizing Committee)
- ESEC/FSE 2022 (Local Organization Co-Chair)
- JPF Workshop 2022 (Co-Organizer)
- Fuzzing Workshop 2022 (Artifact Evaluation Committee Chair)
- Google Summer of Code (GSoC) 2022 (Organization Administrator for Java PathFinder)
- Google Summer of Code (GSoC) 2021 (Organization Administrator for Java PathFinder)
- SCAM 2021 (NIER Track co-chair)
- A-TEST 2020 (Online Tutorials Session Chair)
Conference Committees
- Technical Track, International Conference of Software Engineering (ICSE) 2023-2025
- Technical Track, International Symposium on Software Testing and Analysis (ISSTA) 2022-2024
- Poster Track, FSE 2024
- Tool Demonstrations Track, ISSTA 2024
- Technical Track, International Conference on Automated Software Engineering (ASE) 2022
- Poster Track, ICSE 2022
Journal Reviewing
- Science of Computer Programming (SCICO) in 2023-2024
- Communications of the ACM (CACM) in 2023
- since 2020: Member of ACM TOSEM Board of Distinguished Reviewers
- IEEE Transactions on Dependable and Secure Computing (TDSC) in 2019, and 2021-2023
- IEEE Transactions on Software Engineering (TSE) in 2021 and 2024
- Journal of Systems and Software (JSS) in 2021
- Journal of Empirical Software Engineering (EMSE) in 2019
- Journal of Automated Software Engineering (AUSE) in 2019
Artifact Reviewing
iFM 2022, ISSTA’2021, ISSTA’2020, VMCAI’2020
Subreviewing
ESOP 2021, ICSE’2020, FMCAD’2020, TACAS’2019, ICST’2018, ICSE’2017, ASE’2017, ASE’2016
Mentoring
- Master Thesis, NUS, 2023, Sung Yong Kim, "Analysis on Large Language Model vulnerable code generation and self-repair ability"
- Final Year Project (FYP), NUS, 2023, Christopher Goh Zhen Fung, "Fixing of compilation errors in Intelligent Tutoring"
- Final Year Project (FYP), NUS, 2023, Ethan Noah Rozario, "Feedback presentation in Intelligent Tutoring"
- Final Year Project (FYP), NUS, 2022, Guo Ai, "Design of Intelligent Tutoring Systems for Programming Education (feedback to students)"
- Final Year Project (FYP), NUS, 2022, Jon Chua, "Design of Intelligent Tutoring Systems for Programming Education (feedback computation)"
- Google Summer of Code (GSoC) 2022 Mentor for "Add Gradle support for SymbolicPathFinder"
- Google Summer of Code (GSoC) 2021 Mentor for "Improved Integration of String Solvers in SPF"
- Google Summer of Code (GSoC) 2021 Mentor for "Using Lightweight Specifications with Fuzzing and Symbolic Execution to Reveal Security and Semantic Bugs"
- Google Summer of Code (GSoC) 2020 Mentor for "Symbolic PathFinder for Neural Network Analysis"
- Google Summer of Code (GSoC) 2019 Mentor for "Checking Assertions with Symbolic Pathfinder"
- Master Thesis, HU Berlin, 2019, Minxing Tang, "Automated Generation of Crash-triggering Paths with Symbolic Execution"
- Bachelor Thesis, HU Berlin, 2017, Hoang Lam Nguyen, "Automated Test Case Generation with Symbolic Execution for Regression Testing"