Service

2025

• International Conference on Functional Programming
  
  Artifact evaluator
  

  ICFP · Singapore · 2025

• International Conference on Computer-Aided Verification
  
  Artifact evaluator
  

  CAV · Zagreb · 2025

• International Conference on Computer-Aided Verification
  
  Program committee
  

  CAV · Zagreb · 2025

• Conference on Programming Language Design and Implementation
  
  Artifact evaluator
  

  PLDI · Seoul · 2025

• Conference on Systems, Programming, Languages and Applications: Software for Humanity
  
  Artifact evaluator
  

  SPLASH · Singapore · 2025

• Symposium on Principles of Programming Languages
  
  Artifact evaluator
  

  POPL · Denver · 2025

• Symposium on Principles of Programming Languages
  
  Dafny workshop program chair
  

  POPL · Denver · 2025

2024

• International Conference on Functional Programming
  
  Artifact evaluator
  

  ICFP · Milan · 2024

• Conference on Programming Language Design and Implementation
  
  Artifact evaluator
  

  PLDI · Copenhagen · 2024

• Symposium on Principles of Programming Languages
  
  Dafny workshop program chair
  

  POPL · London · 2024

• Symposium on Principles of Programming Languages
  
  Artifact evaluator
  

  POPL · London · 2024

2023

• Conference on Algebra and Coalgebra in Computer Science
  
  Subreviewer
  

  CALCO · Bloomington · 2023

• International Symposium on Model Checking of Software
  
  Subreviewer
  

  SPIN · Paris · 2023

• International Conference on Computer-Aided Verification
  
  Artifact evaluator
  

  CAV · Paris · 2023

2022

• International Conference on Computer-Aided Verification
  
  Artifact evaluator
  

  CAV · Haifa · 2022

2021

• International Colloquium on Automata, Languages and Programming
  
  Student volunteer
  

  ICALP · Virtual · 2021

• International Conference on Computer-Aided Verification
  
  Student volunteer
  

  CAV · Virtual · 2021

• Symposium on Principles of Programming Languages
  
  Mentor
  

  POPL · Virtual · 2021

2020

• Conference on Systems, Programming, Languages, and Applications
  
  Student volunteer, mentor
  

  SPLASH · Virtual · 2020

• Conference on Programming Language Design and Implementation
  
  Student volunteer
  

  PLDI · Virtual · 2020

• Symposium on Principles of Programming Languages
  
  Student volunteer
  

  POPL · New Orleans · 2020

2019

• Conference on Algebra and Coalgebra in Computer Science
  
  Student volunteer
  

  CALCO · London · 2019

• Conference on the Mathematical Foundations of Programming Semantics
  
  Student volunteer
  

  MFPS · London · 2019