Program committee



NameAffiliation
Alastair DonaldsonImperial College London / Google
Alexandra SilvaUniversity College London
Alexey GotsmanIMDEA Software Institute
Andrej BauerLjubljana
Andrew W. AppelPrinceton
Andrzej MurawskiUniversity of Oxford
Arjun GuhaUniversity if Massachusetts Amherst
Armando Solar-LezamaMIT
Arthur Azevedo de AmorimCMU
Arthur CharguéraudInria
Azalea RaadImperial College London
Beta ZilianiFAMAF, UNC and CONICET
Bor-Yuh Evan ChangUniversity of Colorado Boulder / Amazon
Cédric FournetMicrosoft Research
Cezara DragoiInria
Christine TassonParis
Chung-Kil HurSeoul
Colin GordonDrexel University
Dominique DevrieseVrije Universiteit Brussel
Eran YahavTechnion
Eric KoskinenStevens Institute of Technology
Filippo BonchiUniversity of Pisa
Francesco RanzatoUniversity of Padova
Hiroshi UnnoUniversity of Tsukuba
Jeffrey S. FosterTufts University
Jeremy G. SiekIndiana University
Jesper CockxChalmers
Lars Birkedal chairAarhus University
Limin JiaCMU
Magnus O. MyreenChalmers
Margus VeanesMSR Redmond
Matteo CiminiLowell
Mirco TribastoneIMT School for Advanced Studies Lucca
Mohsen LesaniUnivsersity of California, Riverside
Noam RinetzkyTel Aviv
Ohad KammarUniversity of Edinburgh
Osbert BastaniUpenn
Peter ThiemannFreiburgh
Pierre-Yves StrubÉcole Polytechnique
Radha JagadeesanCollege of CDM, DePaul
Roopsha SamantaPurdue University
Sam LindleyThe University of Edinburgh / Imperial College London
Sandrine BlazyUniv Rennes, IRISA
Shuvendu LahiriMSR Redmond
Steve ZdancewicUniversity of Pennsylvania
Sukyoung RyuKAIST
Susmit SarkarSt Andrews
Sylvie PutotEcole Polytechnique
Thomas WiesNYU
Tiark RompfPurdue
Ugo Dal LagoBologna
Vijay GaneshUniversity of Waterloo
Xavier RivalParis