Professional Service
- 2013
- W2SP PC member
- CAV PC member
- WWW PC member
- Usenix Security PC member
- Oakland S&P PC member
- PETS PC member
- PLDI ERC PC member
- ECOOP PC member
- DIMVA PC member
- POST PC member
- ESSOS Co-Chair
- FSE New Ideas Track Chair
- FSE Doctoral Symposium PC member
- 2011
- W2SP PC member
- CCS PC member
- PLDI PC member
- CEE-SECR PC member
- Oakland S&P
- PLASTIC at SPLASH PC member
- WebQUeST at FSE PC member
- Summer School in Software Engineering and Verification PC member
- 2010
- CEE-SECR PC member
- AppSec Europe PC member
- APLWACA 2010 Co-chair
- 2009
- WODA PC member
- PLAS PC member
- Dagstuhl seminar on Web application security Co-organizer
Sub-reviewer:
Usenix Security 2011, POPL 2011, CCS 2010, PLDI 2010