Service
Current Activities
- Proceedings Co-Chair for the IEEE/ACM International Conference on Automated Software Engineering (ASE) 2025
- Publicity Co-Chair for the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2025
- PC member for the IEEE/ACM International Conference on Automated Software Engineering (ASE) 2025
- Member of the Organizing Committee for the Fuzzing Workshop 2025
- Organization Administrator for Java PathFinder at Google Summer of Code (GSoC) 2025
- Member of ACM TOSEM Board of Distinguished Reviewers
- PC member for the ACM International Conference on the Foundations of Software Engineering (FSE) 2026
- Artifact Evaluation Chair for the International Conference on Fundamental Approaches to Software Engineering (FASE) 2026
All Activities
Organisation
- FASE 2026 (Artifact Evaluation Chair)
- Fuzzing Workshop 2025 (Organizing Committee)
- Google Summer of Code (GSoC) 2025 (Organization Administrator for Java PathFinder)
- ASE 2025 (Proceedings Co-Chair)
- 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 on the Foundations of Software Engineering (FSE) 2026
- Technical Track, International Conference of Software Engineering (ICSE) 2023-2025
- Technical Track, International Symposium on Software Testing and Analysis (ISSTA) 2022-2024
- Technical Track, International Conference on Automated Software Engineering (ASE) 2022,2025
- Poster Track: ICSE 2022, FSE 2024
- Tool Demonstrations Track: ISSTA 2024, FSE 2025
Journal Reviewing
- since 2020: Member of ACM TOSEM Board of Distinguished Reviewers
- IEEE Transactions on Software Engineering (TSE) in 2021 and 2024-25
- Science of Computer Programming (SCICO) in 2023-2024
- Communications of the ACM (CACM) in 2023
- IEEE Transactions on Dependable and Secure Computing (TDSC) in 2019, and 2021-2023
- Journal of Systems and Software (JSS) in 2021
- Journal of Empirical Software Engineering (EMSE) in 2019 and 2024
- 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
Supervision of Researchers in Early Career Phases
- will start in Jul 2025, PhD Student, RUB, Samra Mehboob, "TBD"
- Mar 2025 - present, PhD Student, RUB, Thiago Santos de Moura, "Neuro-Symbolic Testing and Repair"
- Jan 2024 - Apr 2024, PhD Student, SUTD, Ma Yinhui, transferred advisor due to university change
Mentoring
- Bachelor Thesis, RUB, 2024, Oskar Wilke, "Exploring the Use of Large Language Models and Code Refactoring for Software Variability"
- 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"