Professional Activities
Service and leadership in the research community
October 1, 2025
I was the Chair (2015-2018) and Past Chair (2018-2021) of ACM SIGPLAN; I was the Steering Committee Chair for POPL (2018-2021); Founder and Editor of PL Perspectives, the SIGPLAN blog (2019-2021); an Associate Editor for TOPLAS (2012-2016); and I have served (or am serving) on the following committees:
| 2025 | CSF, OOPSLA, S&P |
| 2024 | POPL |
| 2023 | PLDI (Area Chair), PACMPL (Editor in Chief, until Nov 2028) |
| 2022 | S&P |
| 2021 | PLDI, OOPSLA, ASPLOS (ERC) |
| 2020 | PLanQC (co-organizer), PLDI (ERC) |
| 2019 | POPL SRC, ASPLOS (ERC), SNAPL, CCS (Area Chair), SecDev |
| 2018 | POST, S&P (Area Chair), SecDev |
| 2017 | S&P, ESSoS, CCS, USENIX ASE, SecDev |
| 2016 | PLDI, CSF (PC co-chair), USENIX ASE, SecDev (PC chair), CSAW judge |
|---|---|
| 2015 | S&P, CSF (PC co-chair), SNAPL |
| 2014 | OBT, CSF, OOPSLA/SPLASH |
| 2013 | POPL (ERC), PLDI |
| 2012 | POPL (PC chair), HotSWUp |
| 2011 | TLDI, HotSWUp (co-organizer), OOPSLA |
| 2010 | ESOP, PLDI (ERC and tutorials chair), ICFP (PC and local arrangements), PASTE |
| 2009 | POPL, S&P, PLDI SRC |
| 2008 | CCS, CATARS, COORDINATION, ISMM (ERC) |
| 2007 | PLAS (general and PC chair), OOPSLA, COORDINATION, PLDI |
| 2006 | FTfJP, PLAS, SPACE, OOPS (part of SAC 2006) |
| 2005 | SCOOL, VEE |
| 2004 | IWAN, ICPP, FUSE |
| 2003 | IWAN, USE |
| 2002 | IWAN, USE |
| 2001 | IWAN |