Program committee



NameAffiliation
Albert CohenGoogle
Aleksandar NanevskiIMDEA Software Institute
Alex Potanin chairAustralian National University
Alex ReinkingUniversity of California Berkeley
Alexander J. SummersUniversity of British Columbia
Alexandra BugariuMax Planck Institute for Software Systems (MPI-SWS)
Amir Kafshdar GoharshadyHong Kong University of Science and Technology
Ana MilanovaRensselaer Polytechnic Institute
Anders MøllerAarhus University
Andreas PavlogiannisAarhus University
Andreas ZellerCISPA Helmholtz Center for Information Security
Andrew K. HirschUniversity at Buffalo, SUNY
Anitha GollamudiUniversity of Massachusetts, Lowell (UML)
Ankush DesaiAmazon Web Services
Ashish TiwariMicrosoft
Ben HermannTechnische Universität Dortmund
Ben TitzerCMU
Benjamin ChungNortheastern University / University of Washington
Benjamin DelawarePurdue University
Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS
Bernhard ScholzUniversity of Sydney, Australia
Bor-Yuh Evan Chang chairUniversity of Colorado Boulder & Amazon
Bruno OliveiraUniversity of Hong Kong
Burcu Kulahcioglu OzkanDelft University of Technology
Casper Bach PoulsenDelft University of Technology
Cezara DragoiINRIA
Charles SuttonGoogle
Colin S. GordonDrexel University
Conrad WattUniversity of Cambridge
Corina PasareanuCMU
Cyrus OmarUniversity of Michigan
Damien ZuffereySonarSource
Dan GrossmanUniversity of Washington
Dana Drachsler CohenTechnion
David DaraisGalois, Inc
David PearceConsenSys
Di WangPeking University
Earl BarrUniversity College London
Emanuele D'OsualdoMPI-SWS
Emma SöderbergLund University
Emma ToschNortheastern University
Ethan CecchettiUniversity of Wisconsin - Madison
Fabian MuehlboeckAustralian National University
Fei HeTsinghua University
Filip NiksicGoogle
Fredrik KjolstadStanford University
Gowtham KakiUniversity of Colorado Boulder
Grigore RosuUniversity of Illinois, Urbana-Champaign
Guido SalvaneschiUniversity of St. Gallen
Guillaume BaudartInria
Hidehiko MasuharaTokyo Tech
Hila PelegTechnion Israel Institute of Technology
Hongjin LiangNanjing University
James CheneyUniversity of Edinburgh
James LarusEPFL
Jan VitekNortheastern University
Jérémie KoenigYale University
Jeremy GibbonsOxford University
Jiasi ShenThe Hong Kong University of Science and Technology
Jonathan BellNortheastern University
Jonathan Immanuel BrachthäuserUniversity of Tübingen
Joseph TassarottiNYU
Juliana FrancoDeepMind
Justin HsuCornell University
Karine Even-MendozaKing's College London
Kartik SinghalUniversity of Chicago; Quantinuum
KC SivaramakrishnanIIT Madras
Kenji MaillardInria Rennes
Kesha Hietalaamazon
Kihong HeoKorea Advanced Institute of Science and Technology (KAIST)
Konstantinos KallasUniversity of Pennsylvania
Kristina SojakovaINRIA
Lingming ZhangUIUC
Liyi LiIowa State University
Liyi LiUniversity of Maryland, College Park
Mae MilanoUniversity of California, Berkeley
Mangpo PhothilimthanaGoogle DeepMind
Martin KelloggNew Jersey Institute of Technology
Matthew FlattUniversity of Utah
Matthew J. ParkinsonAzure Research, Microsoft
Max NewUniversity of Michigan
Max SchäferGitHub
Michael ArntzeniusUniversity of Birmingham
Michael CoblenzUniversity of California San Diego
Michael PradelUniversity of Stuttgart
Milos GligoricThe University of Texas at Austin
Minseok JeonKorea University
Mohamed Faouzi AtigUppsala University
Noam RinetzkyTel Aviv University
Ori LahavTel Aviv University
Osbert BastaniUniversity of Pennsylvania
Owolabi LegunsenCornell University
Pamela ZavePrinceton University
Parosh Aziz AbdullaUppsala University
Pavel ChuprikovUniversità della Svizzera italiana
Pavel PanchekhaUniversity of Utah
Peter ThiemannUniversity of Freiburg
Qirun ZhangGeorgia Institute of Technology
Rahul GopinathUniversity of Sydney
Rajiv GuptaUC Riverside
Robbert KrebbersRadboud University Nijmegen
Saman AmarasingheMassachusetts Institute of Technology
Sankha Narayan GuriaUniversity of Kansas
Santosh PandeGeorgia Tech
Satish ChandraGoogle
Sean TreichlerNVIDIA
Sebastian BurckhardtMicrosoft Research
Sebastian HackSaarland University
Shachar ItzhakyTechnion
Shaz QadeerMeta
Sheng ChenUL Lafayette
Shigeru ChibaUniversity of Tokyo
Shriram KrishnamurthiBrown University
Sorin LernerUniversity of California, San Diego
Sreepathi PaiUniversity of Rochester
Stefan BrunthalerμCSRL, CODE Research Institute, University of the Bundeswehr Munich
Stephanie BalzerCarnegie Mellon University
Steve BlackburnGoogle
Steven HoltzenNortheastern University
Steven LyubomirskyOctoML
Subhajit RoyIndian Institute of Technology Kanpur
Sukyoung RyuKAIST
Swarnendu BiswasIndian Institute of Technology Kanpur
Sylvan ClebschMicrosoft Research, Cambridge
Tamás SzabóGitHub Next
ThanhVu NguyenGeorge Mason University
Tiark RompfPurdue University
Tien NguyenUniversity of Texas at Dallas
Tobias GrosserUniversity of Cambridge
Tobias WrigstadUppsala
Tomas PetricekUniversity of Kent
Umut AcarCarnegie Mellon University
Viktor VafeiadisMPI-SWS
Walter BinderUniversità della Svizzera italiana (USI)
Wei LeIowa State University
Wei ZhangMeta
Werner DietlUniversity of Waterloo
Will CrichtonBrown University
Xiaokang QiuPurdue University
Xin ZhangPeking University
Yingfei XiongPeking University
Yizhou ZhangUniversity of Waterloo
Youyou CongTokyo Institute of Technology
Yu FengUniversity of California, Santa Barbara
Yu David LiuSUNY Binghamton
Yuepeng WangSimon Fraser University
Yulei SuiUNSW
Zhiqiang ZuoNanjing University