Service

Conference Committees

  • PLDI 2026, PC Member

Journal Reviewers

  • TOSEM, Reviewer, 2025
  • IEEE TCAD, Reviewer, 2023 to 2024
  • Computers & Security, Reviewer, 2024-2025
  • IST, Reviewer, 2024-2025