OOPSLA 2023

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