Current Activities

All Activities


Conference Committees

  • Technical Track, International Conference of Software Engineering (ICSE) 2023-2025
  • Technical Track, International Symposium on Software Testing and Analysis (ISSTA) 2022-2024
  • Tool Demonstrations Track, ISSTA 2024
  • Technical Track, International Conference on Automated Software Engineering (ASE) 2022
  • Poster Track, ICSE 2022

Journal Reviewing

  • Science of Computer Programming (SCICO) in 2023
  • Communications of the ACM (CACM) in 2023
  • since 2020: Member of ACM TOSEM Board of Distinguished Reviewers
  • 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


ESOP 2021, ICSE’2020, FMCAD’2020, TACAS’2019, ICST’2018, ICSE’2017, ASE’2017, ASE’2016



  • Shadow PC member for the IEEE Symposium on Security and Privacy (S&P) in 2021
  • Reviewer for the IEEE S&P Trojan Horse Award in 2021