Program committee



NameAffiliation
Alan SchmittINRIA
Alastair DonaldsonImperial College London
Alejandro AguirreAarhus University
Amin TimanyAarhus University
Ana MilanovaRensselaer Polytechnic Institute
Assia MahboubiINRIA and Vrije Universiteit Amsterdam
Ben GreenmanUniversity of Utah
Ben L. TitzerCarnegie Mellon University
Benjamin DelawarePurdue University
Christos DimoulasNorthwestern University
Cristina MatacheUniversity of Edinburgh
David DaraisGalois, Inc.
David WalkerPrinceton University
Davide DavoliMPI-SP
Derek DreyerMPI-SWS
Didier RémyINRIA
DIMITRIOS VYTINIOTISGoogle DeepMind
Eijiro SumiiTohoku University
Elena ZuccaUniversity of Genoa
Jacques-Henri JourdanUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France.
Jay McCarthyReach, PrimeVault
Jeremy YallopUniversity of Cambridge
Julia BelyakovaPurdue University
Kimball GermaneBrigham Young University
Leonidas LampropoulosUniversity of Maryland, College Park
Liang-Ting ChenAcademia Sinica
Lukas LazarekBrown University
Mae MilanoPrinceton University
Manuel Serrano chairInria
Michael CoblenzUniversity of California San Diego
Nate FosterEPFL and Jane Street
Niki VazouIMDEA Software Institute
Norman RamseyTufts University
Olivier MelançonUniversité de Montréal
Robby Findler chairNorthwestern University
Ross TateNone
Sam WestrickNew York University
Stephanie BalzerCMU
Steve Zdancewic chairUniversity of Pennsylvania
Steven HoltzenNortheastern University
Taro SekiyamaNational Institute of Informatics
Tej ChajedUW-Madison
Tom SchrijversKU Leuven, Belgium
Vikraman ChoudhuryUniversity of Strathclyde
Xavier LeroyCollège de France and Inria
Xavier RivalINRIA/CNRS/Ecole Normale Superieure de Paris
Yizhou ZhangUniversity of Waterloo
Yuepeng WangSimon Fraser University
Zachary PalmerSwarthmore College
Zachary TatlockUniversity of Washington
Zhenjiang HuPeking University
Zhixuan YangImperial College London