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 |