Program committee



NameAffiliation
Alan SchmittInria
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
Clara Benac EarleUniversidad Politécnica de Madrid
Cristina MatacheUniversity of Edinburgh
David DaraisGalois
David WalkerPrinceton University
Derek DreyerMPI-SWS
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 McCarthyUniversity of Massachusetts Lowell
Jeremy YallopUniversity of Cambridge
Julia BelyakovaPurdue University
Kimball GermaneBrigham Young University
Laure GonnordUniversité Grenoble-Alpes - Grenoble INP - LCIS
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 FosterCornell and Jane Street
Niki VazouIMDEA
Norman RamseyTufts University
Olivier MelançonUniversité de Montréal
Robby Findler chairNorthwestern University
Ross TateCornell U.
Sam WestrickNew York University
Stephanie BalzerCMU
Steve ZdancewicUniversity of Pennsylvania
Steven HoltzenNortheastern University
Taro SekiyamaNational Institute of Informatics
Tej ChajedUW-Madison
Tom SchrijversKU Leuven, Belgium
Vikraman ChoudhuryUniversità di Bologna
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