Professional activities


  • Program co-chair, CAV 2016

  • Chair, POPL-OBT 2015

  • PC member, POPL 2015

  • PC member, OOPSLA 2014

  • PC member, PLDI 2013

  • External review committee member, POPL 2013

  • PC member, FOSSACS 2013

  • Program co-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, EC2 2011

  • PC member, PLACES 2011

  • PC member, Gandalf 2011

  • Publicity Chair, POPL 2011

  • PC member, VMCAI 2011

  • Co-organizer, EC2 2010

  • Publicity Chair, POPL 2010

  • PC member, TACAS 2009

  • PC member, LCTES 2009