|
ICSE
|
Steering Committee Member, 2017-2022
|
|
ICSE 2022
|
Program Committee Area Chair
|
|
ICSE 2021 Doctoral Symposium
|
Program Committee Member
|
|
CAV 2021
|
Program Committee Member
|
|
ISSTA 2021
|
Program Committee Member
|
|
ISSTA 2020
|
Program Committee Member
|
|
CAV 2020
|
Program Committee Member
|
|
ICSE 2020
|
Program Committee Member
|
|
ESEC/FSE 2020
|
Program Committee Member
|
|
ISSTA
|
Steering Committee Chair, 2017-2018
|
|
ICSE 2019
|
Program Committee Co-Chair
|
|
ESEC/FSE 2019
|
Program Committee Member
|
|
ESEC/FSE 2018
|
Program Committee Member
|
|
ASE 2018
|
Program Committee Member
|
|
TSE
|
Associate Editor, 2014-2018
|
|
ISSTA 2018
|
Program Committee Member
|
|
ICSE 2018
|
Program Board Member
|
|
ISSTA 2017
|
General Chair
|
|
ICSE 2017
|
Program Board Member
|
|
FSE 2016
|
Visions and Reflections (VaR) Track, Program Committee Member
|
|
ISSTA 2016
|
Program Committee Member
|
|
COORDINATION 2016
|
Program Committee Member
|
|
ATVA 2016
|
Program Committee Member
|
|
ICSE 2016
|
Program Committee Member
|
|
ASE 2015
|
Program Committee Member
|
|
ATVA 2015
|
Program Committee Member
|
|
SEFM 2015
|
Program Committee Member
|
|
SPIN 2015
|
Keynote Speaker
|
|
CAV 2015
|
Program Committee Member
|
|
ICSE 2015
|
Program Committee Member
|
|
HVC 2014
|
Program Committee Member
|
|
FSE 2014
|
Program Committee Member
|
|
ASE 2014
|
Program Committee Member
|
|
SEFM 2014
|
Program Committee Member
|
|
ICST 2014
|
Program Committee Member
|
|
SOCA
|
Editorial Board Member (2006-2013)
|
|
ASE 2013
|
Program Committee Co-Chair
|
|
FACS 2013
|
Program Committee Member
|
|
QASBA 2013
|
Keynote Speaker
|
|
FORTE/FMOODS 2013
|
Program Committee Member, Keynote Speaker
|
|
ICST 2013
|
Program Committee Member
|
|
FSE 2012
|
Program Committee Co-Chair
|
|
FACS 2012
|
Keynote Speaker
|
|
ASE 2012
|
Doctoral Symposium Co-Chair
|
|
ICSE 2012
|
Doctoral Symposium Program Committee Member
|
|
FIT 2012
|
Program Committee Member
|
|
ATVA 2011
|
Program Committee Co-Chair
|
|
INFINITY 2011
|
Keynote Speaker
|
|
UYMS 2011
|
Keynote Speaker
|
|
VLDS 2011
|
Program Committee Member
|
|
ASE 2011
|
Program Committee Member
|
|
MEMOCODE 2011
|
Program Committee Member
|
|
ESEC/FSE 2011
|
Program Committee Member
|
|
ICWS 2011
|
Program Committee Member
|
|
TAV-WEB 2010
|
Program Committee Member
|
|
WS-FM 2010
|
Program Committee Co-Chair, Co-Organizer
|
|
Workshop on Formal Methods
|
Keynote Speaker
|
|
SSS 2010
|
Safety and Verification Track, Program Committee Member
|
|
ICWS 2010
|
Program Committee Member
|
|
ASE 2010
|
Workshop Co-Chair, Program Committee Member
|
|
PESOS 2010
|
Program Committee Member
|
|
MEMOCODE 2010
|
Program Committee Member
|
|
ISSTA 2010
|
Program Committee Member
|
|
ASE 2009
|
Expert Review Panel
|
|
PESOS 2009
|
Program Committee Member
|
|
MEMOCODE 2009
|
Program Committee Member
|
|
ISSTA 2009
|
Program Committee Member
|
|
PASTE 2008
|
Keynote Speaker
|
|
ICSOC 2008
|
Program Committee Member
|
|
FACS 2008
|
Program Committee Member
|
|
ASE 2008
|
Program Committee Member
|
|
TAV-WEB 2008
|
Program Committee Co-chair, Co-organizer
|
|
CONCUR 2008
|
Keynote Speaker
|
|
NSV 2008
|
Invited Speaker
|
|
MEMOCODE 2008
|
Program Committee Member, Keynote Speaker
|
|
TACAS 2008
|
Program Committee Member
|
|
WWV 2007
|
Program Committee Member
|
|
ASE 2007
|
Program Committee Member
|
|
AFM 2007
|
Program Committee Member
|
|
ICSOC 2007
|
Program Committee Member
|
|
IW-SOSWE 2007
|
Program Committee Member
|
|
SOQUA 2007
|
Program Committee Member
|
|
MEMOCODE 2007
|
Program Committee Member
|
|
ISSTA 2007
|
Program Committee Member
|
|
WQVV 2007
|
Organizing Committee Member
|
|
WSCA 2007
|
Program Committee Member
|
|
SOCA 2007
|
Program Committee Member
|
|
WWV 2006
|
Invited Speaker
|
|
ICSOC 2006
|
Program Committee Member
|
|
TAV-WEB 2006
|
Program Committee Chair, Organizing Committee Member
|
|
ASE 2006
|
Program Committee Member
|
|
IW-SOSE 2006
|
Program Committee Member
|
|
ICSE 2006
|
Emerging Results Track, Program Committee Member
|
|
MEMOCODE 2006
|
Program Committee Member
|
|
DILSOS 2006
|
Program Committee Member
|
|
SVV 2006
|
Program Committee Member
|
|
ICSOC 2005
|
Program Committee Member
|
|
ASE 2005
|
Program Committee Member
|
|
SVV 2005
|
Program Committee Member
|
|
ATVA 2005
|
Program Committee Member
|
|
SoftMC 2005
|
Program Committee Member
|
|
ICWS 2005
|
Program Committee Member
|
|
MEMOCODE 2005
|
Program Committee Member, Panel Chair
|
|
ICSE 2005
|
Program Committee Member
|
|
AVIS 2005
|
Program Committee Member
|
|
SVV 2004
|
Program Committee Member
|
|
ATVA 2004
|
Program Committee Member, Invited Speaker
|
|
TAV-WEB 2004
|
Program Committee Co-chair, Co-organizer
|
|
WWW 2004
|
Poster Committee Member
|
|
ATVA 2003
|
Program Committee Member
|
|
CIAA 2003
|
Program Committee Member, Organizing Committee Chair
|
|
ISSTA 2002
|
Program Committee Member
|