Service
Current Activities
- Proceedings Co-Chair for the IEEE/ACM International Conference on Automated Software Engineering (ASE) 2025
- Member of the Organizing Committee for the Fuzzing Workshop 2026
- 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
- International Fuzzing Workshop (Organizing Committee) in 2023, 2024, 2025, and 2026
- FASE 2026 (Artifact Evaluation Chair)
- Google Summer of Code (GSoC) (Organization Administrator for Java PathFinder) in 2021, 2022, 2024, and 2025
- ASE 2025 (Proceedings Co-Chair)
- ISSTA 2025 (Publicity Co-Chair)
- ESEC/FSE 2022 (Local Organization Co-Chair)
- JPF Workshop 2022 (Co-Organizer)
- International Fuzzing Workshop 2022 (Artifact Evaluation Committee Chair)
- 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 Symposium on Software Testing and Analysis (ISSTA) 2022-2024, 2026
- Technical Track, International Conference of Software Engineering (ICSE) 2023-2025
- 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
- TOSEM Review Committee (two-year appointment) in 2026-2027
- Member of ACM TOSEM Board of Distinguished Reviewers 2020-2025
- IEEE Transactions on Software Engineering (TSE) in 2021, 2024 and 2025
- 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
- Jul 2025 - present, PhD Student, RUB, Samra Mehboob, "Agentic Systems for Debugging and Code Review"
- 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"