Homepage
Research
Programming
Teaching
Contact
Editorial board
I'm a member of the editorial board of the
Journal of Functional Programming
; please consider submitting.
Program chair
VSTTE 2009
, with
Leo Freitas
PLPV 2010
, with
Cormac Flanagan
The
2nd Verified Software Competition (aka VSTTE 2012 Software Verification Competition)
, with
Andrei Paskevich
and
Aaron Stump
, on November 2011. Here is
my talk at VSTTE 2012
about the competition.
Program committees
HaTT 2016
SLATE'16
VSTTE 2016
AVoCS 2015
NFM 2015
SLATE'15
TFP 2015
JFLA 2014
SLATE'14
NFM 2013
CPP 2013
SLATE 2013
VeriSure 2013
VSTTE 2013
APLAS 2012
BOOGIE 2012
NFM 2012
SLATE 2012
VSTTE 2012
ACCA 2011
INFORUM 2011
ITP 2011
AFM 2010
GCVS 2010
INFORUM 2010
IWS 2010
AFM 2009
PLMMS 2009
TPHOLs 2009
AFM 2008
JPLMMS 2008
MSFP 2008
TPHOLs 2008
AFM 2007
PLMMS 2007
TPHOLs 2007