Review committees

• Conference on Programming Language Design and Implementation (PLDI) 
  2024 (pc) 2016 (erc)
• Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) 
  2024 (aec,erc)
• Workshop on Foundations of Computer Security (FCS) @ CSF 
  2017 (pc) 2018 (pc) 2019 (pc) 2020 (pc-chair) 2021 (pc-chair)
• Computer Security Foundations Symposium 
  2018 (pc) 2021 (pc) 2022 (pc) 2023 (pc) 2025 (pc,general-chair)
• Workshop on Programming Languages and Analysis for Security (PLAS), @ CCS 
  2018 (pc) 2020 (pc) 2021 (pc)
• Conference on Principles of Security and Trust (POST) 
  2019 (pc)
• Workshop on Programming Languages and Operating Systems (PLOS), @ SOSP 
  2019 (pc)
• Conference on Computer and Communications Security (CCS) 
  2019 (pc) 2022 (pc) 2023 (pc)
• Workshop on Principles of Secure Compilation (PriSC), @ POPL 
  2022 (pc)
• USENIX Annual Technical Conference (ATC) 
  2018 (erc)
• Conference on Architectural Support for Programming Languages and Operating Systems 
  2025 (pc)