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