Professional activities

• PC member, PLDI 2013

• External review committee member, POPL 2013

• PC member, FOSSACS 2013

• Program Chair, NSV 2012

• PC member, CAV 2012

• External review committee member, PLDI 2012

• PC member, POPL 2012

• Publicity Chair, POPL 2012

• PC member, ATVA 2011

• PC member, NSV 2011

• External review committee member, OOPSLA 2011

• Co-organizer, EC² 2011

• PC member, PLACES 2011

• PC member, Gandalf 2011

• Publicity Chair, POPL 2011

• PC member, VMCAI 2011

• Co-organizer, EC² 2010

• Publicity Chair, POPL 2010

• TACAS 2009

• PC member, LCTES 2009