Services

Conferences:

• ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
  Program Committee: 2024, 2025.

• IEEE/ACM International Conference on Automated Software Engineering (ASE).
  Program Committee: 2024.

• International Symposium on Theoretical Aspects of Software Engineering (TASE).
  Program Committee: 2023.

• International Conference on Software Engineering and Formal Methods (SEFM).
  Program Committee: 2016. Invited Sub-Reviewer: 2010, 2012, 2023.

• International Conference on Software Analysis, Evolution and Reengineering (SANER Tool Demo).
  Program Committee: 2019.

• International Conference on Model-Driven Engineering Languages and Systems (MODELS-Workshop).
  Program Committee: 2021.

• Asia-Pacific Symposium on Internetware (Internetware).
  Program Committee: 2013, 2020, 2022.

• International Colloquium on Theoretical Aspects of Computing (ICTAC).
  Program Committee: 2013, 2014, 2022. Invited Sub-Reviewer: 2011.

• International Conference on Formal Engineering Methods (ICFEM).
  Program Committee: 2018, 2019, 2020, 2024.

• International Conference on Formal Aspects of Component Software (FACS).
  Program Committee: 2013, 2014, 2018, 2024.

• International Conference on Artificial Intelligence Testing (AI-Testing).
  Program Committee: 2019, 2020, 2021, 2022, 2023, 2024.

• Young Researchers Workshop on Formal Methods (YR-SETTA).
  Program Committee: 2017.

• National Young Researchers Workshop on Formal Methods (YR-FMAC).
  Program Chair: 2018.

• International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS).
  Program Committee: 2020, 2021, 2022, 2023.

• International Conference on Software Analysis, Testing and Evolution (SATE).
  Program Committee: 2018, 2019.

• National Software and Application Conference (NASAC).
  Safety and Security of System Software TRel Special Track Program Committee: 2018.

• National Conference on Formal Method and Application (FMAC).
  Program Committee: 2019.

Journals:

• IEEE Transaction on Software Engineering (TSE).
  Invited Reviewer

• Science of Computer Programming (SCP).
  Invited Reviewer

• Science China Information Sciences (SCIS).
  Invited Reviewer

• Journal of Software (JOS, Chinese Journal).
  Guest editor: 2019 (Speical Issue on Formal Modeling and Verification for Emerging Systems ), 2022 (Speical Issue on Constraint Solving and Theorem Proving).

• ACM Computing Surveys (ACMCS).
  Invited Reviewer

• IEEE Transactions on Reliability (TR).
  Invited Reviewer

• Journal of Systems and Software (JSS).
  Invited Reviewer

• Journal of Logical and Algebraic Methods in Programming (JLAMP).
  Invited Reviewer

• Journal of Computer Science and Technology (JCST).
  Invited Reviewer

• Frontiers of Computer Science in China (FCS).
  Invited Reviewer

Others: