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.

Since October 2023, I have been an Associate Editor for ACM Transactions on Programming Languages and Systems, and as of August 2024 I am the (interim) Editor in Chief.

2025:
- 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