PLDI 2014, CAV 2014, ISEC 2014 (co-chair), PPoPP 2014 (ERC)

PLDI 2013 (ERC), OOPSLA 2013, ESEC/FSE 2013 Tool Demonstrations, PSTI 2013

FSE 2012, HotPar 2012, WoDeT 2012, RV 2012, OOPSLA 2012 (ERC)

ISSTA 2011, SPIN 2011, RV 2011 (co-chair), OOPSLA 2011 (ERC), NFM 2011, TMC 2011

OOPSLA 2010, ISPASS 2010, ICSE NIER 2010, NFM 2010, RV 2010, PSTI 2010, SAVCBS 2010, LFX 2010 (co-chair)

ICST 2009, ICDCS 2009, FASE 2009, ICDCN 2009, SPIN 2009, NFM 2009, DEFECTS 2009, SAVCBS 2009

CAV 2008, ASE 2008, APLAS 2008, QEST 2008, SPIN 2008, AFM 2008, STEP 2008, ICST Student Track 2008.

CAV 2007, OOPSLA 2007, RT 2007, SAS II 2007