2023
- Member of the OOPSLA 2023 Review Committee
2022
- Publicity Chair for PLDI 2022 [with Wil Bowman]
- Program Co-Chair for DLS 2022
2021
- Program Chair for DLS 2021
- Member of the OOPSLA 2021 Review Committee
- Member of the ICFP 2021 Program Committee
- Publicity Chair for PLDI 2021 [with John Wickerson]
- Member of the Virtualization Committee for PLDI 2021
- NSF Panelist
2020
- Member of the PLDI 2020 Program Committee
- Member of the POPL 2020 Program Committee
- Member of the SPLASH-E 2020 Program Committee
2019
- Member of the PLOS 2019 Program Committee
- Member of the SPLASH 2019 Doctoral Symposium Program Committee
- Workshop Chair for SPLASH 2019 [with Neville Grech]
- Member of the SEConfig Program Committee
- NSF Panelist
2018
- Member of the PLDI 2018 Program Committee
- Workshop Chair for SPLASH 2018 [with Alex Potanin]
- Member of the OOPSLA 2018 External Review Committee
- Member of the OCAP 2018 Program Committee
- NSF Panelist
2017
- Member of the SIGCOMM 2017 Program Committee
- Member of the SOSR 2017 Program Committee
2016
- Member of the Oakland 2016 Program Committee
- Co-chair of the POPL 2016 Artifact Evaluation Committee [with Stephen Chong]
- Member of the POPL 2016 External Review Committee
- Member of the PLDI 2016 Program Committee
- Member of the SOSR 2016 Program Committee
- Co-chair of the NetPL Workshop [with Marco Canini, Robert Soulé, and Nik Sultana]
- Chair of the 29th New England Programming Languages and Systems Symposium [NEPLS]
- NSF Panelist
2015
- Member of the CoNEXT 2015 Program Committee
- Co-chair of the PLVNET 2015 workshop [with Pavol Cerny]
- Co-chair of the POPL 2015 Artifact Evaluation Committee [with Jan Vitek]
- Member of the POPL 2015 Program Committee
- Member of the SOSR 2015 Program Committee
- NSF Panelist
2014
- Member of the HotSDN 2014 Program Committee
- Member of the HILT 2014 Program Committee
- Member of the ESSoS 2014 Program Committee
- Member of the PLDI 2014 External Review Committee
- NSF Panelist
2013
- Member of the PLDI 2013 External Review Committee
- Member of the ECOOP 2013 Program Committee
- Member of the TFP 2013 Program Committee
- Member of the FOOL 2013 Program Committee
- Member of the HILT 2013 Program Committee
2011
- Member of the ESEC/FSE 2011 Artifact Evaluation Committee
Editorial Boards
Current:
- Co-Chair, Research Highlights, Communications of the ACM [CACM]
- Co-Editor-in-Chief, Journal of Functional Programming [JFP]
Past:
- ACM Transactions on Software Engineering and Methodology [TOSEM]
- Transactions on Aspect-Oriented Software Development [2007-2011]
- Computer Science - Research and Development [2007-2010]
Program Committees [Co-]Chaired
- SNAPL 2019
- SNAPL 2017
- ECOOP 2016
- SNAPL 2015
- SPLASH Onward! 2014
- POPL 2014 OBT [Off the Beaten Track]
- FOOL 2013
- PASTE 2008
- CC 2007
- TAV-WEB 2004
- FDPE 2002
- PADL 2002
Other Program Committees
- OOPSLA 2023
- ICER 2022
- Koli Calling 2022
- Data Systems Education 2022
- HATRA 2022
- ICSE 2021
- ICER 2021
- Koli Calling 2021
- HATRA 2021
- ECSCW 2021 Workshop
- ICFP 2020 ERC
- HATRA 2020
- PLDI 2019
- SecDev 2019
- SecDev 2018
- OCAP 2018
- POPL 2016
- NSPW 2016
- WEIS 2016
- DLS 2016
- FSE 2015 NIER
- SOSR 2015
- ONUG 2015
- PLVNET 2015
- TFPIE 2015
- DSLDI 2015
- PLDI 2014
- DLS 2014
- TRUST 2014
- Scala 2014
- ICFP 2013
- FSE 2013 NIER
- Functional DSL Workshop, co-located with ICFP 2013
- Security and Privacy [Oakland] 2012
- PLDI 2012 ERC
- FSE 2012 NIER
- AOSD 2012
- TFPIE 2012
- XLDI 2012
- Security and Privacy [Oakland] 2011
- ESEC/FSE 2011
- Security and Privacy [Oakland] 2010
- Web 2.0 Security and Privacy [W2SP]
- Programming Languages and Analysis for Security [PLAS] 2010
- Curricula for Concurrency and Parallelism 2010
- CCS 2009
- ASIACCS 2009
- Coordination 2009
- Web 2.0 Security and Privacy [W2SP]
- Scheme and Functional Programming 2009
- Curricula for Concurrency 2009
- OOPSLA 2008
- W2SP
- SACMAT 2008
- WWW 2008 Security and Privacy
- WEUSE IV
- ESOP 2008
- FOAL 2008
- TFP 2008
- ASE 2007 Expert Review Panel
- ICFEM 2007
- W2SP
- DLS 2007
- PPDP 2007
- WWW 2007 Security, Privacy, Reliability and Ethics
- AOSD 2007
- SIGSOFT FSE 2006
- Alloy Workshop
- IBM Watson PL Day 2006
- CC 2006
- PEPM 2006
- POPL 2006
- IBM Watson PL Day 2005
- WEUSE 2005
- FOAL 2005
- AOSD 2005
- LL4
- SIGSOFT FSE 2004
- FOS 2004
- ECOOP 2004
- PASTE 2004
- CBSE 2004
- FOAL 2004
- AOSD 2004
- PLAN-X 2004
- SVV 2003
- LL3
- CBSE 2003
- ASE 2003
- PADL 2003
- LL2
- PLAN-X 2002
- IBM Watson PL Day 2002
- GP 2002
- CBSE 2002
- FOOL 2002
- PADL 2001
- ICFP 2000