Program committee



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