Current Service
- Member: ISSTA Steering Committee (2011 -- present)
- Member: ESEC/FSE Steering Committee (2017 -- present)
- PC Member: ESEC/FSE'19,
Tallinn, Estonia, August 2019.
- PC Member: PLDI'19,
Phoenix, Arizona, June 2019.
- PC Member: ICSE'19,
Montreal, Canada, May 2019.
- PC Member: TACAS'19, Prague, Czech Republic, April 2019.
- PC Member: ESEC/FSE'18,
Lake Buena Vista, Florida, November 2018.
- EPC Member: OOPSLA'18, Boston, MA, November 2018.
Past Service
- PC (co-)Chair:
SAS'09,
ISSTA'12,
SIGSOFT FSE'16
- Workshops Co-Chair: ICSE 2015
- Associate Editor: ACM TOSEM, 2008--2014
- PC/ERC Member:
SETTA'18,
POPL'18,
ICSE'18,
SETTA'17,
CAV'17,
ISSTA'17,
ICSE'17,
ICSE'17, NIER,
PLDI'16,
OOPSLA'15 (ERC),
ESEC/FSE'15,
CAV'15,
PLDI'15 (ERC),
HVC 2014,
FSE 2014 Visions and Challenges Track,
Onward! 2014,
ISSTA 2014,
PSI 2014,
PROMOTO 2013,
OOPSLA 2013,
ICSE'12,
PLDI'12,
DBTest'12,
POPL'12 (ERC),
OOPSLA'11,
ESEC/FSE'11,
SAS'11,
PLAS'10,
ISSTA'10,
FSE'10,
SAS'10,
PLDI'10,
ICSE'10 (Research Track),
ICSE'10 (DS),
ISSTA'09,
WWW'09,
CC'09,
ICSE'09,
NDSS'09,
APLAS'08,
HASE'08,
SecureComm'08, CATARS'08, TASE'08, ICSE'08, WWW'08, NDSS'08,
ETX'07, APLAS'07, FSE'06, SAS'06, TACAS'06, RAMSS'05.
- Chair: ACM SIGSOFT Outstanding Research Award Committee, 2013.
- Member: ACM SIGSOFT Outstanding Dissertation Award Committee, 2013, 2017.
- Member: ACM SIGPLAN Outstanding Dissertation Award Committee, 2007.
- Lecturer: Oregon Summer School, Eugene, OR, July 18-27, 2007.
- Mentor: ICSE 2011 Mentoring Program, ICSE 2013 Mentoring Program.
- Reviewer (journals): TOPLAS, TSE, TOSEM, JFP, I&C, HOSC.
- Reviewer (conferences): POPL, PLDI, ICSE, FSE, CAV, SAS, ICALP, RTA, INFOCOM, NDSS, ACSAC.
- NSF Panelist: 2005, 2006, 2008, 2012, 2014
- AFOSR Proposal Reviewer: 2007