Services

  • 2026
    • ISSTA PC Member
    • ISSTA/SPLASH Demo/SRC/Poster Track Co-Chair
    • ASU Examination-Committee Chair
  • 2025
    • ASE Proceeding Co-Chair
    • ISSTA Tool Demonstration Track PC Member
    • Organization admin and/or mentor for the JPF community in Google Summer of Code
  • 2024
    • Organization admin and/or mentor for the JPF community in Google Summer of Code (GSoC)
  • 2023-2024
    • Organization admin and/or mentor for the JPF community in Google Summer of Code (GSoC)
    • PC member for Software and Verification Competition (SV-COMP)