| VEE 2017 | Program Committee | |
| Onward! 2016 | Steering Committee | |
| SPLASH 2016 | Steering Committee Chair | |
| SPLASH 2016 | Sponsorship Committee | |
| PLDI 2016 | Program Committee | |
| Onward! 2015 | Steering Committee | |
| SPLASH 2015 | Steering Committee | |
| SPLASH 2015 | Sponsorship Chair | |
| ISMM 2015 | Steering Committee | |
| ISMM 2015 | General Chair | |
| PLDI 2015 | External Review Committee | |
| Onward! 2014 | Steering Committee | |
| SPLASH 2014 | Steering Committee | |
| ISMM 2014 | External Review Committee | |
| VEE 2014 | Program Committee | |
| ASPLOS 2014 | External Review Committee | |
| Onward! 2013 | Steering Committee | |
| SPLASH 2013 | Steering Committee | |
| SPLASH 2013 | General Chair | |
| ISMM 2013 | External Review Committee | |
| RESoLVE 2013 | Program Chair | |
| VEE 2013 | Steering Committee Chair | |
| SIGPLAN 2009–2012 | Executive Committee | |
| PLDI 2012 | Program Committee | |
| ECOOP 2012 | General Chair | |
| VEE 2012 | Steering Committee Chair | |
| VMIL 2011 | Program Committee | |
| LCTES 2011 | Program Committee | |
| VEE 2011 | Steering Committee | |
| OOPSLA 2010 | Program Committee | |
| ISMM 2010 | External Review Committee | |
| VEE 2010 | Steering Committee | |
| VEE 2010 | Program Committee | |
| ICOODB 2009 | Program Committee | |
| ISMM 2009 | External Review Committee | |
| VEE 2009 | Steering Committee | |
| VEE 2009 | General Chair | |
| POPL 2009 | Program Committee | |
| PPPJ 2008 | Program Committee | |
| ISMM 2008 | External Review Committee | |
| ISMM 2007 | Program Committee | |
| VEE 2007 | Program Committee | |
| ISMM 2006 | Steering Committee | |
| MSPC 2006 | General Chair | |
| SCOOL 2005 | Program Committee | |
| ECOOP 2005 | Program Committee | |
| ISMM 2004 | Steering Committee | |
| eTX 2004 | Program Committee | |
| MSP 2004 | Program Committee | |
| OOPSLA 2002 | Program Committee | |
| ISMM 2002 | Steering Committee | |
| VLDB 2001 | Program Committee | |
| POS 2000 | Program Committee | |
| ISMM 2000 | Steering Committee | |
| ISMM 2000 | Program Chair | |
| SODB 2000 | Program Committee | |
| ISMM 1998 | Program Committee | |
| OOPSLA 1998 | Program Committee | |
| PJW 1997 | Program Committee | |
| POS 1996 | Program Committee |