| Abhinav Verma | The Pennsylvania State University |
| Adam Chlipala | MIT |
| Akash Lal | Microsoft Research |
| Alastair Reid | Intel |
| Alcides Fonseca | LASIGE, University of Lisbon |
| Alexandra Jimborean | University of Murcia |
| Alexey Loginov | Meta |
| Andreas Rossberg | Dfinity Foundation |
| Ayal Zaks | Mobileye |
| Benjamin Delaware | Purdue University |
| Brandon Lucia | Carnegie Mellon University |
| Brian Demsky | University of California, Irvine |
| Calin Cascaval | Google Research |
| Chao Wang | University of Southern California |
| Charith Mendis | University of Illinois at Urbana-Champaign |
| Christos Dimoulas | Northwestern University |
| Chung-Kil Hur | Seoul National University |
| Cindy Rubio-González | University of California, Davis |
| Cyrus Omar | University of Michigan |
| Dana Drachsler Cohen | Technion |
| Daniel W. Barowy | Williams College |
| David Van Horn | University of Maryland |
| Dimitris Mitropoulos | National and Kapodistrian University of Athens |
| Eric Eide | University of Utah |
| Eric Koskinen | Stevens Institute of Technology |
| Francois Gauthier | Oracle Labs |
| Fredrik Kjolstad | Stanford University |
| Freek Verbeek | Virginia Polytechnic Institute and State University |
| Gagandeep Singh | UIUC |
| Gang Tan | Penn State |
| Gowtham Kaki | University of Colorado Boulder |
| Greta Yorsh | Jane Street |
| Guy Gueta | VMware |
| He Zhu | Rutgers |
| Hila Peleg | Technion Israel Institute of Technology |
| Ilya Sergey | National University of Singapore |
| Irene Finocchi | Luiss University |
| Jade Alglave | University College London |
| James Cheney | University of Edinburgh |
| James Wilcox | University of Washington |
| Jan Hoffmann | Carnegie Melon University |
| Jason Ansel | Meta |
| Jean-Baptiste Tristan | AWS ARG |
| Jedidiah McClurg | Colorado State University |
| Jeremy Yallop | University of Cambridge |
| Jeremy G. Siek | Indiana University |
| John Regehr chair | University of Utah, USA |
| Jonathan Ragan-Kelley | MIT |
| Jorge A. Pérez | University of Groningen |
| Joseph Tassarotti | NYU |
| Josiah Hester | Northwestern University |
| KC Sivaramakrishnan | IIT Madras |
| Ke Wang | Visa Research |
| Kevin Ellis | Cornell |
| Kihong Heo | KAIST |
| Konstantinos Mamouras | Rice University |
| Lauren Pick | University of Wisconsin-Madison and University of California at Berkeley |
| Leonidas Lampropoulos | University of Maryland, College Park |
| Limin Jia | Carnegie Mellon University |
| Loris D'Antoni | University of Wisconsin Madison |
| Louis-Noel Pouchet | Colorado State University |
| Magnus Myreen | Chalmers University of Technology |
| Maryam Mehri Dehnavi | University of Toronto |
| Matthias Hauswirth | USI Università della Svizzera italiana |
| Michael Bond | Ohio State University |
| Michael Hicks | University of Maryland |
| Michelle Strout | HPE & University of Arizona |
| Mihai Budiu | VMware Research |
| Mohsen Lesani | Univsersity of California, Riverside |
| Mukund Raghothaman | University of Southern California |
| Nate Foster chair | Cornell University |
| Niki Vazou | IMDEA Software Institute |
| Ningning Xie | Google Brain / University of Toronto |
| Noam Rinetzky | Tel Aviv University |
| Nuno P. Lopes | University of Lisbon |
| Oded Padon | VMware Research |
| Ori Lahav | Tel Aviv University |
| Owolabi Legunsen | Cornell University |
| Parosh Aziz Abdulla | Uppsala University |
| Paul Gazzillo | University of Central Florida |
| Peisen Yao | Zhejiang University |
| Peter-Michael Osera | Grinnell College |
| Pierre Geneves | CNRS |
| Ras Bodik | Google Research, Brain Team |
| Robbert Krebbers | Radboud University Nijmegen |
| Ruzica Piskac | Yale University |
| Ryan Beckett | Microsoft Research |
| Sam Guyer | Tufts University |
| Sam Tobin-Hochstadt | Indiana University |
| Satish Chandra | Google |
| Shan Lu | University of Chicago |
| Sotiris Apostolakis | Google |
| Stephen Chong | Harvard University |
| Sukyoung Ryu | KAIST |
| Sukyoung Ryu | KAIST |
| Susmit Sarkar | St Andrews |
| Swarat Chaudhuri | UT Austin |
| Thomas Shull | Oracle Labs |
| Toby Murray | University of Melbourne |
| Umut Acar | Carnegie Mellon University |
| Veselin Raychev | Snyk |
| Viktor Kunčak | EPFL |
| Vinod Grover | NVIDIA Corporation |
| Walter Binder | University of Lugano, Switzerland |
| Xinyu Feng | Nanjing University & Huawei |
| Xulong Tang | University of Pittsburgh |
| Yaniv David | Columbia University |
| Yao Li | Portland State University |
| Yingfei Xiong | Peking University |
| Yizhou Zhang | University of Waterloo |
| Yu David Liu | SUNY Binghamton |
| Zachary Tatlock | University of Washington |
| Zhoulai Fu | State University of New York, Korea |
| Zoe Paraskevopoulou | Northeastern University and Ethereum Foundation |