Program committee



NameAffiliation
Anders MøllerAarhus
Benjamin LivshitsMicrosoft
Bill PughUniv of Maryland
Bruno OliveiraU.Hong Kong
Caitlin SadowskiGoogle
David BaconGoogle
David GroveIBM Research
Davide AnconaUniversita' di Genova
Doug LeaSUNY Oswego
Eelco VisserTU Delft
Eli TilevichVirginia Tech
Emerson Murphy-HillNC State
Emery BergerUniversity of Massachusetts Amherst
Erez PetrankTechnion
Eric TanterUniversity of Chile
Frank TipNortheastern University
Gilad BrachaGoogle
Hans BoehmGoogle
Isil DilligU.Texas
James NobleVic.U. of Wellington
Jan VitekNortheastern
Jeff FosterU.Maryland College Park
Jens PalsbergUCLA
Jeremy SiekU.Indiana
John BoylandUW.Milwaukee
Jonathan AldrichCMU
Julia LawallLIP6
Julian DolbyIBM Watson
Klaus OstermannU. Tuebingen
Laurence TrattKings College
Manu SridharanSamsung Research America
Martin VechevETH
Michael BondOhio State University
Michael CarbinMIT
Michael ErnstU.Washington
Milind KulkarniPurdue
Mira MeziniTU Darmstadt
Olivier TardieuIBM
Patrick EugsterPurdue
Richard JonesU.Kent
Robby FindlerNorthwestern
Shan Shan HuangLogicBlox
Shigeru ChibaThe University of Tokyo
Shriram KrishnamurthiBrown
Sophia DrossopoulouImperial
Stephen ChongHarvard University
Stephen FinkIBM Watson
Sukyoung RyuKAIST
test user
Thomas GrossETH
Tijs van der StormCWI Amsterdam
Tobias WrigstadUppsala
Wei-Ngan ChinNational U. of Singapore
Yannis Smaragdakis chairU. Athens
Yossi GilTechnion