Program committee



NameAffiliation
Zheng ZhangRutgers University
Zhendong SuETH Zurich
Zachary TatlockUniversity of Washington
Yufei DingUCSB
Xinyu FengNanjing University
Xiangyu ZhangPurdue
Woosuk LeeHanyang University
Walter BinderUniversity of Lugano (USI)
Veselin RaychevDeepCode.ai
Van Chan NgoCMU
Tongping LiuUniversity of Texas at San Antonio
Tom BallMicrosoft Research Redmond
Todd MowryCMU
Ting CaoMicrosoft Research Asia
Thomas WenischUniversity of Michigan
Swarnendu BiswasIIT Kanpur
Swarat ChaudhuriRice University
Suresh JagannathanPurdue University
Sukyoung RyuKAIST
Steve BlackburnAustralian National University
Stephen ChongHarvard University
Stephen ChangNortheastern University
Sriram RajamaniMicrosoft Research India
Sreepathi PaiUniversity of Rochester
Shriram KrishnamurthiBrown University
Shing-Chi CheungThe Hong Kong University of Science and Technology
Shaz QadeerFacebook
Sharon Shoham BuchbinderTel Aviv
Saurav MuralidharanNVIDIA
Satish ChandraFacebook
Sasa MisailovicUniversity of Illinois at Urbana-Champaign
Santosh NagarakatteRutgers
Saman AmarasingheMassachusetts Institute of Technology
Roopsha SamantaPurdue
Rastislav BodikUniversity of Washington
Ranjit JhalaUniversity of California, San Diego
Rajeev AlurUniversity of Pennsylvania
Rahul SharmaMicrosoft Research
Qirun ZhangGeorgia Tech
Peter HawkinsGoogle
Petar TsankovETH Zurich
Osbert BastaniUniversity of Pennsylvania
Ondřej LhotákWaterloo
Nuno P. LopesMicrosoft Research
Neha AgarwalGoogle
Neel KrishnaswamiCambridge University
Nadia PolikarpovaUniversity of California, San Diego
Minjia ZhangMicrosoft Research Redmond
Michael PradelTU Darmstadt
Michael O'BoyleUniversity of Edinburgh
Michael MarcozziImperial College London
Michael GreenbergPomona College
Michael EmmiIMDEA Software Institute
Mayur NaikUniversity of Pennsylvania
Mary HallUniversity of Utah
Martin RinardMIT
Martin MaasGoogle
Martin HirzelIBM Research
Markus PüschelETH Zurich
Marc BrockschmidtMicrosoft Research
Manu SridharanUber
Mahmut KandemirPenn State
Magnus MyreenChalmers
Luís PinaGeorge Mason University
Louis-Noel PouchetColorado State University
Lindsey KuperUC Santa Cruz
Limin JiaCarnegie Mellon University
Laurent VanbeverETH Zürich
Kihong HeoKAIST
Kathryn S McKinleyGoogle
Kathleen Fisher chairTufts University
June AndronickData61 at CSIRO and UNSW
John WickersonImperial College London
John ReppyUniversity of Chicago
Jennifer B. SartorGhent University and Vrije Universiteit Brussel
Jeff HuangTexas A&M University
James LarusEPFL
Jade AlglaveARM and University College London
Isil DilligUniversity of Texas at Austin
Ilya SergeyYale-NUS College
Guy L. SteeleOracle Labs
Guy Golan-GuetaVMware Research
Guilherme OttoniFacebook
Gabriele KellerUtrecht University
Eric KoskinenStevens Institute of Technology
Eric BoddenUniversity of Paderborn
Erez PetrankTechnion
Eran YahavTechnion and Codota
Emina TorlakUniversity of Washington
Doug LeaSUNY Oswego
Darko MarinovUIUC
Dana Drachsler CohenETH Zurich
Cindy Rubio-GonzalezUniversity of California, Davis
Chung-Kil HurSeoul National University
Christina DelimitriouCornell
Chris SeatonOracle Labs
Chen DingUniversity of Rochester
Camil DemetrescuSapienza University of Rome
Benjamin ZornMicrosoft Research
Ben L. TitzerGoogle
Ayal ZaksIntel Corporation and Technion, Israel
Aseem RastogiMicrosoft Research
Ankur TalyGoogle AI
Anil MadhavapeddyUniversity of Cambridge
Andrew MyersCornell University
Amal AhmedNortheastern University
Alexandra JimboreanUniversity of Uppsala
Alexandra FedorovaUniversity of British Columbia
Albert CohenGoogle
Alastair DonaldsonImperial College London / Google
Aarti GuptaPrinceton