Service to the Scientific Community

Committees

  • 2025
    • The Scala Workshop (General Chair)
    • <Programming> 2026 (Program Committee)
  • 2024
    • ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) (Program Committee)
    • International Workshop on Aliasing, Capabilities and Ownership (IWACO) (Program Committee)
  • 2023
    • The miniKanren and Relational Programming Workshop (Program Committee)
    • International Conference on Functional Programming (ICFP) (Program Committee)
    • OOPSLA (External Review Committee, Artifact Evaluation)
    • European Conference on Object-Oriented Programming (ECOOP) (External Review Committee and Artifact Evaluation)
  • 2022
    • SPLASH Student Research Competition (Reviewer/Judge)
    • OOPSLA (External Review Committee, Artifact Evaluation)
    • European Conference on Object-Oriented Programming (ECOOP) (External Review Committee and Artifact Evaluation)
    • Workshop on Type-Driven Development (TyDe) (Program Committee)
  • 2020
    • Scala Symposium (Program Committee)
  • 2015
    • ECOOP Doctoral Symposium (Program Committee)

External Reviewer

  • 2024
    • European Conference on Object-Oriented Programming (ECOOP)
  • 2022
    • Journal of Functional Programming (JFP)
    • ACM SIGPLAN International Conference on Functional Programming (ICFP)
  • 2021
    • ACM Transactions on Programming Languages and Systems (TOPLAS)
    • Journal of Functional Programming (JFP)
  • 2020
    • Journal of Functional Programming (JFP)
  • 2019
    • Journal of Functional Programming (JFP) – Special Issue on Algebraic Effects and Handlers
    • European Symposium on Programming (ESOP)
  • 2018
    • Onward!
    • IEEE/ACM International Conference on Automated Software Engineering (ASE)
    • ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
    • ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
  • 2017
    • Scala Symposium
    • Workshop on Type-Driven Development (TyDe)
    • The International Conference on Generative Programming: Concepts & Experience (GPCE)
    • International Symposium on Principles and Practice of Declarative Programming (PPDP)
    • ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
  • 2016
    • ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
    • IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • 2015
    • Workshop on Reactive and Event-based Languages & Systems (REBLS)
    • ACM SIGPLAN International Conference on Software Language Engineering (SLE)

Volunteering

  • 2015
    • Student Volunteer, ACM SIGPLAN SPLASH 2015 Conference