| Aaron Bembenek | University of Melbourne |
| Albert Cohen | Google DeepMind |
| Alex Potanin | Australian National University |
| Alex Reinking | Adobe Research |
| Alexa VanHattum | Wellesley College |
| Alexander Bakst | Certora Inc |
| Alexander Lew | Yale University |
| Amin Timany | Aarhus University |
| Ana Milanova | Rensselaer Polytechnic Institute |
| André Platzer | Karlsruhe Institute of Technology |
| Andrés Goens | University of Amsterdam |
| Andrew Adams | Adobe Research |
| Andrew Lumsdaine | RelationalAI and University of Washington |
| Ang Li | Pacific Northwest National Laboratory |
| Anitha Gollamudi | University of Massachusetts Lowell |
| Ankush Das | Boston University |
| Ariel E. Kellison | Sandia National Laboratories |
| Arjun Guha | Northeastern University; Roblox |
| Artem Pelenitsyn | Purdue University |
| Arthur Charguéraud | Inria; Université de Strasbourg; CNRS; ICube |
| Aslan Askarov | Aarhus University |
| Azalea Raad | Imperial College London |
| Ben Greenman | University of Utah, USA |
| Benjamin Delaware | Purdue University |
| Benjamin C. Pierce | University of Pennsylvania |
| Benoît Valiron | Université Paris-Saclay, CNRS, CentraleSupélec, LMF |
| Bor-Yuh Evan Chang | University of Colorado Boulder & Amazon |
| Brian Hempel | UCSD |
| Caleb Stanford | University of California, Davis |
| Calin Cascaval | Google DeepMind |
| Chandrakana Nandi | Certora |
| Chenxi Wang | Institute of Computing Technology, Chinese Academy of Sciences |
| Chris Casinghino | Jane Street |
| Chris Fallin | F5 |
| Chris Hawblitzel | Microsoft Research |
| Cole Schlesinger | Galois, Inc. |
| Colin Gordon | Drexel University |
| Conrad Watt | Nanyang Technological University |
| Daan Leijen | Microsoft Research |
| Dan Grossman | University of Washington |
| Dana Drachsler Cohen | Technion |
| Denys Shabalin | Google DeepMind |
| Erez Petrank | Technion |
| Eric Atkinson | Binghamton University |
| Feras Saad | Carnegie Mellon University |
| Fredrik Kjolstad | Stanford University |
| Gagandeep Singh | University of Illinois at Urbana-Champaign; |
| Ganesh Gopalakrishnan | University of Utah |
| Gilbert Bernstein | University of Washington |
| Greta Yorsh | Jane Street |
| Grigory Fedyukovich | Florida State University |
| Guannan Wei | Tufts University |
| Guy Steele | Oracle Labs |
| Harrison Goldstein | University of Maryland, University of Pennsylvania |
| Ignacio Laguna | Lawrence Livermore National Laboratory |
| James Larus | EPFL |
| Jason Ansel | Meta |
| Jay P. Lim | Yale University |
| Jean Pichon-Pharabod | Aarhus University |
| Jean-Marie Madiot | Inria |
| Jenna DiVincenzo | Purdue University |
| Joshua Gancher | Northeastern University |
| Joshua Sunshine | Carnegie Mellon University |
| Jubi Taneja | Microsoft Research |
| Jules Jacobs | Cornell University |
| Karim Ali | NYU Abu Dhabi |
| Karl Palmskog | KTH Royal Institute of Technology |
| Ke Wang | Visa Research |
| Kirshanthan Sundararajah | Virginia Tech |
| Konstantinos Kallas | University of California, Los Angeles |
| Konstantinos Mamouras | Rice University |
| Laure Gonnord | Université Grenoble-Alpes - Grenoble INP - LCIS |
| Leonidas Lampropoulos | University of Maryland, College Park |
| Liam O'Connor | Australian National University |
| Liyi Li | Iowa State University |
| Loris D'Antoni | UCSD |
| Maaz Bin Safeer Ahmad | University of Washington, Seattle |
| Mahmut Kandemir | Penn State |
| Manas Thakur | IIT Bombay |
| Manasij Mukherjee | NVIDIA |
| Manu Sridharan chair | University of California, Riverside |
| Marco Gaboardi | Boston University |
| Matías Toro | University of Chile |
| Max Willsey | UC Berkeley |
| Michael Carbin | Massachusetts Institute of Technology |
| Michael F. P. O'Boyle | University of Edinburgh |
| Michel Steuwer | Technische Universität Berlin |
| Mohsen Lesani | University of California at Santa Cruz |
| Na Meng | Virginia Tech |
| Neil Julien Ross | Dalhousie University |
| Ningning Xie | University of Toronto; Google DeepMind |
| Oded Padon | Weizmann Institute of Science |
| P. Madhusudan | University of Illinois at Urbana-Champaign |
| Peng Fu | University of South Carolina |
| Philipp G. Haselwarter | Aarhus University |
| Rachit Nigam | Massachusetts Institute of Technology |
| Rahul Sharma | Microsoft Research |
| Ranjit Jhala | University of California at San Diego |
| Reto Achermann | The University of British Columbia |
| Rob Sison | UNSW Sydney |
| Robert Rand | University of Chicago |
| Rohan Padhye | Carnegie Mellon University |
| Ronghui Gu | Columbia University |
| Rupak Majumdar | MPI-SWS |
| Ryan Beckett | Microsoft Research, USA |
| Sam Lindley | The University of Edinburgh |
| Sam Tobin-Hochstadt | Indiana University |
| Sam Westrick | New York University |
| Saman Amarasinghe | Massachusetts Institute of Technology |
| Samuel Gruetter | ETH Zurich |
| Santosh Nagarakatte | Rutgers University |
| Sébastien Bardin | CEA LIST, University Paris-Saclay |
| Shachar Itzhaky | Technion |
| Shaohua Li | The Chinese University of Hong Kong |
| Sharad Malik | Princeton University |
| Sorav Bansal | IIT Delhi and CompilerAI Labs |
| Stephen Kell | King's College London |
| Susmit Jha | SRI |
| Taro Sekiyama | National Institute of Informatics; SOKENDAI |
| Thodoris Sotiropoulos | ETH Zurich |
| Thomas Ball | Microsoft Research |
| Thomas Bourgeat | EPFL |
| Thomas Koehler | ICube Lab, CNRS, Université de Strasbourg |
| Tiark Rompf | Purdue University |
| Tony Hosking | Australian National University |
| Umang Mathur | National University of Singapore |
| Viktor Kunčak | EPFL, Switzerland |
| Will Crichton | Brown University |
| William Harris | Amazon Web Services |
| Willow Ahrens | Massachusetts Institute of Technology |
| Xiaodi Wu | University of Maryland |
| Yann Herklotz | EPFL |
| Yannick Forster | Inria Paris |
| Yannis Smaragdakis | University of Athens |
| Yu Feng | University of California, Santa Barbara |
| Zachary Tatlock chair | University of Washington |
| Zhiqiang Zuo | Nanjing University |