Program committee



Name Affiliation
Ahmed Bouajjani Université Paris Cité
Alastair Donaldson Imperial College London
Alejandro Aguirre Aarhus University
Alexandra Silva Cornell University
Alexey Gotsman IMDEA Software Institute
Amin Timany Aarhus University
Andreas Pavlogiannis Aarhus University
Andrei Popescu University of Sheffield
Andrew Pitts University of Cambridge
Andrew K. Hirsch University at Buffalo, SUNY
Andrew W. Appel Princeton University
Ankush Das Boston University
Anton Podkopaev JetBrains Research, Constructor University Bremen
Arjun Radhakrishna Microsoft
Assia Mahboubi INRIA and Vrije Universiteit Amsterdam
Aws Albarghouthi University of Wisconsin-Madison
Aymeric Fromherz Inria
Ben Titzer CMU
Bernd Finkbeiner CISPA Helmholtz Center for Information Security
Cameron Freer Massachusetts Institute of Technology
Carla Ferreira NOVA University Lisbon
Carlo Angiuli Indiana University
Casper Bach Poulsen Delft University of Technology
Catalin Hritcu MPI-SP
Christine Rizkallah University of Melbourne
Colin S. Gordon Drexel University
Dariusz Biernacki University of Wrocław
Denis Merigoux INRIA
Derek Dreyer chair MPI-SWS
Dominique Devriese KU Leuven
Emanuele D'Osualdo MPI-SWS
Emina Torlak Amazon Web Services
Francesco Gavazzo University of Bologna
Fraser Brown Carnegie Mellon University
Fritz Henglein University of Copenhagen (Denmark)
Gagandeep Singh UIUC
Georg Zetzsche Max Planck Institute for Software Systems (MPI-SWS)
Gregory Malecha BedRock Systems
Guilhem Jaber Nantes Université & Inria
Hila Peleg Technion Israel Institute of Technology
Hiroshi Unno Tohoku University
James Riely DePaul University
Jean Pichon-Pharabod Aarhus University
Jeehoon Kang KAIST
Jennifer Paykin Intel
Jeremy Siek Indiana University
Jonathan Protzenko Microsoft Research
Jonathan Immanuel Brachthäuser University of Tübingen
Jules Villard Meta
Kathrin Stark Heriot-Watt University
KC Sivaramakrishnan IIT Madras
Kristina Sojakova INRIA
Kuen-Bang Hou (Favonia) University of Minnesota
Limin Jia Carnegie Mellon University
Mae Milano Princeton University
Max New University of Michigan
Max Willsey UC Berkeley
Michael Hicks Amazon Web Services
Neil Julien Ross Dalhousie University
Nick Benton Meta (UK)
Nikos Tzevelekos Queen Mary University of London
Peter Müller ETH Zurich
Peter Sewell University of Cambridge
Pierre-Marie Pédrot Inria
Roberto Giacobazzi University of Arizona
Rodolphe Lepigre BedRock Systems
Ronald Garcia University of British Columbia
Satnam Singh Groq
Simon Peyton Jones Epic Games
Soham Chakraborty TU Delft
Sophia Drossopoulou Imperial College London
Sriram Rajamani Microsoft Research India
Stefan K Muller Illinois Institute of Technology
Stephen Dolan Jane Street
Steve Zdancewic University of Pennsylvania
Steven Ramsay University of Bristol
Suguman Bansal Georgia Institute of Technolgy
Sukyoung Ryu KAIST
Susmit Sarkar St Andrews
Talia Ringer University of Illinois Urbana-Champaign
Thomas Reps University of Wisconsin
Thomas Wies New York University
Tiark Rompf Purdue University
Ulf Norell University of Gothenburg
William Mansky University of Illinois Chicago
Xiaodi Wu University of Maryland, College Park
Xiaokang Qiu Purdue University
Xinyu Feng Nanjing University & Huawei
Yannick Zakowski Inria
Yizhou Zhang University of Waterloo
Zachary Kincaid Princeton University