PC Member

  • 2026: FC, CCS, EURO S&P
  • 2025: FC, CCS, TOSEM, ISSTA (Demo), ACM DeFi
  • 2024: FC, ISSTA/ECOOP (Tool Demos), ACM DeFi
  • 2023: ACM DeFi, POPL (Artifact Evaluation Committee), USENIX Security (Artifact Evaluation Committee), ECOOP (Extended Review Committee & AEC), PLDI (Artifact Evaluation Committee).
  • 2022: PLDI (Artifact Evaluation Committee), OSDI (Artifact Evaluation Committee), ATC (Artifact Evaluation Committee)
  • 2021: OOPSLA (Artifact Evaluation Committee)