Program committee



NameAffiliation
Adam ChlipalaMIT
Aditya KanadeIndian Institute of Science
Alastair ReidArm Limited
Alessandra GorlaIMDEA Software Institute
Alexandra (Sasha) FedorovaUniversity of British Columbia
Andreas RossbergGoogle
Arjun GuhaUniversity of Massachusetts Amherst
Arthur Azevedo de AmorimCarnegie Mellon University
Avik ChaudhuriFacebook
Azadeh FarzanUniversity of Toronto
Ben HermannUniversity of Paderborn
Ben LivshitsImperial College London
Ben L. TitzerGoogle
Benjamin ZornMicrosoft Research
Chinawat IsradisaikulCornell University
Christian WimmerOracle Labs
Dan Grossman chairUniversity of Washington
David MenendezRutgers University
David J. PearceVictoria University of Wellington
Deian StefanUniversity of California San Diego
Dimitrios VytiniotisMicrosoft Research
Doug LeaState University of New York at Oswego
Emina TorlakUniversity of Washington
Erez PetrankTechnion
Eva DarulovaMax Planck Institute for Software Systems
Fan LongMIT
Grigore RosuUniversity of Illinois at Urbana-Champaign
Hans-J. BoehmGoogle
Harry XuUCLA
Heather MillerEcole Polytechnique Federale de Lausanne & Northeastern University
Isil DilligUniversity of Texas at Austin
Iulian NeamtiuNew Jersey Institute of Technology
Jason MarsUniversity of Michigan
Jean-Baptiste TristanOracle Labs
Jeffrey FosterUniversity of Maryland, College Park
Jennifer B. SartorVrije Universiteit Brussel
Jens PalsbergUniversity of California, Los Angeles
Jeremy G. SiekIndiana University
Jingling XueUNSW Australia
Jonathan Ragan-KelleyUC Berkeley
Joxan JaffarNational University of Singapore
Julian DolbyIBM Thomas J. Watson Research Center
Kapil VaswaniMicrosoft Research
Kathleen Fisher chairTufts University
Kathryn S McKinleyGoogle
Klaus OstermannUniversity of Tuebingen
Koushik SenUniversity of California, Berkeley
Lindsey KuperIntel Labs
Loris D'AntoniUniversity of Wisconsin-Madison
Maria ChristakisMax Planck Institute for Software Systems
Martin MaasUC Berkeley
Mary HallUniversity of Utah
Matteo CiminiUniversity of Massachusetts Lowell
Matthew FluetRochester Institute of Technology
Matthew HammerUniversity of Colorado Boulder
Matthias HauswirthUniversit… della Svizzera italiana
Michael BondOhio State University
Michael GreenbergPomona College
Michelle Mills StroutUniversity of Arizona
Milind KulkarniPurdue University
Miltiadis AllamanisMicrosoft Research
Mira MeziniTU Darmstadt
Mooly SagivTel Aviv University
Nada AminUniversity of Cambridge
Nadia PolikarpovaUniversity of California, San Diego
Osbert BastaniMassachusetts Institute of Technology
Patrick LamUniversity of Waterloo
Philippa GardnerImperial College London
Phitchaya Mangpo PhothilimthanaUniversity of California, Berkeley
Qirun ZhangUniversity of California, Davis
Rahul SharmaMicrosoft Research
Rajeev AlurUniversity of Pennsylvania
Ronghui GuColumbia University
Ross TateCornell University
Ruzica PiskacYale University
Ryan BeckettPrinceton University
Ryan NewtonIndiana University
Samuel Z. GuyerTufts University
Satish ChandraFacebook
Scott OwensUniversity of Kent
Sean TreichlerNVIDIA
Sebastian HackSaarland University
Shachar ItzhakyTechnion
Sheng ChenUniversity of Louisiana at Lafayette
Shoaib KamilAdobe
Simon Peyton JonesMicrosoft Research
Sorin LernerUniversity of California, San Diego
Sriram KrishnamoorthyPacific Northwest National Laboratory
Stephen FreundWilliams College
Steve ZdancewicUniversity of Pennsylvania
Sukyoung RyuKAIST
Tamara RezkInria
Tatiana ShpeismanGoogle
ThanhVu NguyenUniversity of Nebraska, Lincoln
Thomas WuerthingerOracle Labs
Tiark RompfPurdue University
Tobias WrigstadUppsala University
Todd MytkowiczMicrosoft
Tony HoskingAustralian National University / Data61
Tyler SorensenImperial College London
Umut AcarCarnegie Mellon University
Vijay MenonGoogle
Vikram AdveUniversity of Illinois at Urbana-Champaign
Vincent St-AmourNorthwestern University
Xavier RivalINRIA
Xi WangUniversity of Washington
Xiaokang QiuPurdue University
Xin ZhangMassachusetts Institute of Technology
Xipeng ShenNorth Carolina State University
Yaniv DavidTechnion
Yannis SmaragdakisUniversity of Athens
Yu David LiuState University of New York (SUNY) Binghamton