Service

Because the programming languages research community now makes heavy use of conf.researchr.org, a subset of my service is visible on my profile there. A subset of my journal reviewing is visible on my Publons profile; I do not carefully book-keep it here because it is too scattered.

I am Editor in Chief of ACM Transactions on Programming Languages and Systems since August 2024. I joined the editorial board as an Associate Editor in October 2023.

2026:
2025:
- Onward! Essays 2025 PC Chair
- PLDI 2025 PC Member
- STATIC 2025 PC Member
2024:
- POPL 2024 PC Member
- OOPSLA 2024 PC Member
- PLDI 2024 PC Member
- CONCUR 2024 PC Member
- *SEM 2024 PC Member
2023:
- EACL 2023 PC Member
2022:
- AACL-IJCNLP 2022 PC Member
- PLDI 2022 PC Member
2021:
- OOPSLA 2021 PC Member
- OOPSLA 2021 Artifact Evaluation Co-chair
- ECOOP 2021 PC Member
2020:
- POPL 2020 PC Member
- OOPSLA 2020 Artifact Evaluation Co-chair
- AGERE 2020 PC Member
- SIGCSE 2020 PC Member, Experience Reports and Tools Track
- ESOP 2020 External Reviewer
- AACL-IJCNLP 2020 Reviewer
2019:
- OOPSLA 2019 Artifact Evaluation Co-chair
- ESEC/FSE 2019 Tool Demos PC Member
- SIGCSE 2019 PC Member, Experience Reports and Tools Track
- SIGCSE 2019 PC Member, Nifty Assignments Track
2018:
- OOPSLA 2018 Program Committee
- OOPSLA 2018 Doctoral Symposium Academic Panel
- Theoretical Computer Science Reviewer
- Science of Computer Programming Reviewer
2017:
2016:
- ECOOP 2016 External Review Committee
- PLDI 2016 External Review Committee
- IWACO 2016 Program Committee
- ASE 2016 Tool Track Program Committee
- FSE 2016 External Reviewer
2015:
- CAV 2015 Subreviewer
- MFCS 2015 Subreviewer
2014:
- POPL 2014 External Reviewer
- IWACO 2014 PC
- PLDI 2014 Subreviewer
2013:
- FSE 2013 Subreviewer
- OOPSLA 2013 Subreviewer
2012:
- NCA 2012 Subreviewer
2011:
- ICSE 2011 Subreviewer
- RACS 2011 PC
- OOPSLA 2011 Subreviewer