Services

Conferences:

• International Static Analysis Symposium (SAS)
  Program Committee Member: 2025, 2024, 2023, 2022, 2018, 2017, 2015
• International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA)
  Program Committee Co-Chair: 2024; Program Committee Member: 2023, 2022, 2021
• International Symposium on Theoretical Aspects of Software Engineering (TASE)
  Program Committee Member: 2024, 2023, 2022, 2021, 2019
• Asia-Pacific Symposium on Internetware (Internetware)
  Program Committee Member: 2022, 2020
• International Workshop on Numerical and Symbolic Abstract Domains (NSAD)
  Steering Committee Member: 2025~; Program Committee Co-Chair: 2020; Program Committee Member: 2016, 2014
• International Symposium on Formal Methods (FM)
  Program Committee Member: 2024 (Embedded Systems Track)
• The Asia-Pacific Software Engineering Conference (APSEC)
  Program Committee Member: 2024 (ERA Track)

Journals:

• Automated Software Engineering Journal (AUSE)
  Guest Editor: Collection "Effective ProgramAnalysis and Testing for ModernSoftware Development" (2025)
• Science of Computer Programming (SCP).
  Invited Reviewer
• IEEE Transactions on Dependable and Secure Computing (TDSC).
  Invited Reviewer
• IEEE Transactions on Reliability (TR).
  Invited Reviewer
• Journal of Systems and Software (JSS).
  Invited Reviewer
• Journal of Systems Architecture (JSA).
  Invited Reviewer
• Science China Information Sciences (SCIS).
  Invited Reviewer
• Frontiers of Computer Science in China (FCS).
  Invited Reviewer
• Journal of Software (JOS, Chinese Journal).
  Guest Editor: Speical Issue on Formal Methods and Applications (2022)