Program Co-Chair

• 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025)

Track Co-Chair

• 21st ACM ASIA Conference on Computer and Communications Security (ACM AsiaCCS 2026)
  Track on Software Security, Formal Methods and Programming Languages

Program Committee Member

• ACM …