Program committee



NameAffiliation
Aditya V. ThakurUniversity of California
Akash LalMicrosoft Research
Albert CohenGoogle
Ana MilanovaRensselaer Polytechnic Institute
Anders MiltnerUniversity of Texas Austin
Arjun RadhakrishnaMicrosoft
Aws AlbarghouthiUniversity of Wisconsin-Madison
Baris KasikciUniversity of Michigan
Bor-Yuh Evan ChangUniversity of Colorado Boulder & Amazon
Brian DemskyUniversity of California, Irvine
Calvin SmithUniversity of Texas at Austin
Caroline LemieuxMicrosoft Research/UBC
Chandrakana NandiCertora
Charith MendisUIUC
Chenglong WangMicrosoft Research
Clément Pit-ClaudelMIT CSAIL
Colin GordonDrexel University
Constantin EneaEcole Polytechnique
Corina PasareanuCarnegie Mellon University and NASA Ames
Dana Drachsler CohenTechnion
Danfeng ZhangPenn State University
David Van HornUniversity of Maryland
Deian StefanUC San Diego
Doug LeaState University of New York (SUNY) Oswego
Eliot MossUniversity of Massachusetts Amherst
Erez PetrankTechnion
eric schkufzaamazon
Erik MeijerFacebook
Fan LongUniversity of Toronto
Fraser BrownStanford University
Gabriel RodríguezUniversidade da Coruña
Hakjoo OhKorea University
Hongjin LiangNanjing University
Hugh LeatherFacebook
Hui GuanUniversity of Massachusetts Amherst
Isil Dillig chairUniversity of Texas Austin
James BornholtUniversity of Texas at Austin
James LarusEPFL
Jedidiah McClurgColorado School of Mines
Jeehoon KangKAIST
Jeevana Priya InalaMicrosoft Research
Jeff HuangTexas A&M University
Jens PalsbergUCLA
John RegehrUniversity of Utah, USA
Jorge NavasSRI International
Justin GottschlichMerly.ai & University of Pennsylvania
Justin HsuCornell University
KC SivaramakrishnanIIT Madras
Kihong HeoKAIST
Klaus v. GleissenthallVrije Universiteit Amsterdam
Kostas FerlesThe University of Texas at Austin
Koushik SenUC Berkeley
Laure GonnordGrenoble INP, LCIS
Leonid RyzhykVMware Research
Malavika SamakMIT
Mangpo PhothilimthanaGoogle Brain
Manos KapritsosUniversity of Michigan
Mary HallUniversity of Utah
Michael O'BoyleUniversity of Edinburgh
Mike DoddsGalois, Inc.
Milind KulkarniPurdue
Mira MeziniTU Darmstadt
Mukund RaghothamanUniversity of Southern California
Nadia PolikarpovaUniversity of California, San Diego
Nate Foster chairCornell University
Neville GrechUniversity of Malta
Nick GiannarakisAmazon AWS
Nobuko YoshidaImperial College London
Osbert BastaniUniversity of Pennsylvania
Patrick LamUniversity of Waterloo
Peter MüllerETH Zurich
Qirun ZhangGeorgia Institute of Technology
Raghu PrabhakarStealth
Ralf JungMassachusetts Institute of Technology
Robert RandUniversity of Chicago
Ronghui GuColumbia University
Roopsha SamantaPurdue University
Ruben MartinsCarnegie Mellon University
Rupak MajumdarMax Planck Institute for Software Systems
Ruzica PiskacYale University
Saeed MalekiMicrosoft Research
Santosh NagarakatteRutgers University
Sara AchourStanford University
Sarah ChasinsUC Berkeley
Satish NarayanasamyUniversity of Michigan
Sean TreichlerNVIDIA
Shaz QadeerFacebook
Shumo ChuManta Network
Shuvendu LahiriMicrosoft Research
Sorav BansalIndian Institute of Technology Delhi
Sreepathi PaiUniversity of Rochester
Steven HoltzenNortheastern University
Sukyoung RyuKAIST
Susmit JhaSRI
Tachio TerauchiWaseda University
Talia RingerUniversity of Illinois Urbana-Champaign
Tatiana ShpeismanGoogle
Tej ChajedMIT
Thomas WahlGrammaTech, Inc.
Thomas WiesNew York University
Ting CaoMicrosoft Research
Tony HoskingAustralian National University
Vijay NagarajanUniversity of Edinburgh
Vijayaraghavan MuraliFacebook
Vikash MansinghkaMIT
Vineeth KashyapConsolidated Trading
Vinod GroverNVIDIA Corporation
Xiaodi WuDepartment of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD
Xiaokang QiuPurdue University
Xin ZhangPeking University
Xinyu WangUniversity of Michigan
Xipeng ShenNorth Carolina State University and CoCoPIE LLC
Xujie SiMcGill University
Yizhou ZhangUniversity of Waterloo
Yu FengUniversity of California, Santa Barbara
Yuepeng WangSimon Fraser University
Zachary KincaidPrinceton University
Zhendong SuETH Zurich
Zhihao JiaCarnegie Mellon University
Zhiqiang ZuoNanjing University