Professional Activities
Current Activities
- PC member for the International Conference of Software Engineering (ICSE) 2024
- PC member for the International Symposium on Software Testing and Analysis (ISSTA) 2023
- Member of the Organizing Committee for the Fuzzing Workshop 2023
- Member of ACM TOSEM Board of Distinguished Reviewers
- Reviewer for IEEE Transactions on Dependable and Secure Computing (TDSC)
All Activities
Organisation
- Fuzzing Workshop 2023 (Organizing Committee)
- ESEC/FSE 2022 (Local Organization Co-Chair)
- JPF Workshop 2022 (Co-Organizer)
- Fuzzing Workshop 2022 (Artifact Evaluation Committee Chair)
- SCAM 2021 (NIER Track co-chair)
- A-TEST 2020 (Online Tutorials Session Chair)
Conference Committees
- PC member for the International Conference of Software Engineering (ICSE) 2023 and 2024
- PC member for the International Symposium on Software Testing and Analysis (ISSTA) 2022 and 2023
- PC member for the International Conference on Automated Software Engineering (ASE) 2022
- Poster Track committee member for ICSE 2022
Journal Reviewing
- ACM Transactions on Software Engineering and Methodology (TOSEM) in 2020-2023
- IEEE Transactions on Dependable and Secure Computing (TDSC) in 2019, and 2021-2023
- IEEE Transactions on Software Engineering (TSE) in 2021
- 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
- Google Summer of Code (GSoC) 2022 Organization Administrator for Java PathFinder
- Google Summer of Code (GSoC) 2022 Mentor for "Add Gradle support for SymbolicPathFinder"
- Google Summer of Code (GSoC) 2021 Organization Administrator for Java PathFinder
- 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, 2019, Minxing Tang, "Automated Generation of Crash-triggering Paths with Symbolic Execution"
- Bachelor Thesis, 2017, Hoang Lam Nguyen, "Automated Test Case Generation with Symbolic Execution for Regression Testing"