Home
Students
Teaching
Projects
Publications
Service
F.A.Q.
————————————–
Program Committees
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