| Abhinav Jangda | University of Massachusetts Amherst |
| Alasdair Armstrong | University of Cambridge |
| Albert Cohen | Google |
| Alex Reinking | University of California Berkeley |
| Alex Sanchez-Stern | UMass Amherst |
| Ali Ghanbari | Dept. of Computer Science, Iowa State University |
| Ana Milanova | Rensselaer Polytechnic Institute |
| Anders Møller | Aarhus University |
| Andrew D. Gordon | Microsoft Research and University of Edinburgh |
| Andrew K. Hirsch | University at Buffalo, SUNY |
| Anitha Gollamudi | University of Massachusetts, Lowell (UML) |
| Annette Bieniusa | TU Kaiserslautern |
| Arjun Guha | Northeastern University |
| Armando Solar-Lezama | Massachusetts Institute of Technology |
| Ashish Mishra | Purdue University |
| Atsushi Igarashi | Kyoto University |
| Avraham Shinnar | IBM Research |
| Ben Greenman | Brown University |
| Ben Greenman chair | Brown University |
| Benjamin Chung | Northeastern University |
| Benjamin C. Pierce | University of Pennsylvania |
| Benno Stein | Meta |
| Bernardo Toninho | Universidade Nova de Lisboa and NOVA LINCS |
| Bruno Oliveira | University of Hong Kong |
| Burcu Kulahcioglu Ozkan | Delft University of Technology |
| Chandrakana Nandi | Certora Inc. |
| Charles Sutton | Google |
| Cindy Rubio-González | University of California, Davis |
| Conrad Watt | University of Cambridge |
| Daming Zou | ETH Zurich |
| Dan Grossman | University of Washington |
| Dana Drachsler Cohen | Technion |
| Daniel W. Barowy | Williams College |
| David Walker | Princeton University |
| Denis Merigoux | INRIA |
| Derek Dreyer | MPI-SWS |
| Dimitrios Vytiniotis | DeepMind |
| Dominique Devriese | KU Leuven |
| Elisa Gonzalez Boix | Vrije Universiteit Brussel |
| Emanuele D'Osualdo | MPI-SWS |
| Ethan Cecchetti | University of Wisconsin - Madison |
| Fabian Muehlboeck | Australian National University |
| Fabrizio Montesi | University of Southern Denmark |
| Gagandeep Singh | UIUC |
| Görel Hedin | Lund University |
| Gowtham Kaki | University of Colorado Boulder |
| Guido Salvaneschi | University of St. Gallen |
| Guillaume Baudart | Inria |
| Hendrik van Antwerpen | GitHub |
| Hidehiko Masuhara | Tokyo Tech |
| Hongjin Liang | Nanjing University |
| Ilya Sergey | National University of Singapore |
| James Cheney | University of Edinburgh |
| James Noble | Research & Programming |
| Jan Vitek | Northeastern University |
| Jana Dunfield | Queen's University |
| Jay P. Lim | Rutgers University |
| Jenna DiVincenzo | Purdue University |
| Jérémie Koenig | Yale University |
| Jeremy Gibbons | Oxford University |
| Jialu Zhang | Yale University |
| Jiasi Shen | The Hong Kong University of Science and Technology |
| Jihyeok Park | Korea University |
| John Sarracino | Unaffiliated |
| Jonathan Aldrich | CMU |
| Joseph Tassarotti | NYU |
| Justin Hsu | Cornell University |
| Karim Ali | University of Alberta |
| Kartik Singhal | University of Chicago; Quantinuum |
| Kenji Maillard | Inria Rennes |
| Kesha Hietala | Amazon |
| Klaus Ostermann | University of Tuebingen |
| Konstantinos Kallas | University of Pennsylvania |
| Kostas Ferles | The University of Texas at Austin |
| Kristina Sojakova | INRIA |
| Kristóf Marussy | Budapest University of Technology and Economics |
| Lelio Brun | National Institute of Informatics |
| Liyi Li | University of Maryland, College Park |
| Mae Milano | University of California, Berkeley |
| Mangpo Phothilimthana | Google Brain |
| Manu Sridharan | University of California, Riverside |
| Marianna Rapoport | Amazon Web Services |
| Mark Santolucito | Barnard College, Columbia University |
| Martin Kellogg | New Jersey Institute of Technology |
| Matías Toro | University of Chile |
| Matteo Cimini | University of Massachusetts Lowell |
| Matthew Flatt | University of Utah |
| Max New | University of Michigan |
| Michael Arntzenius | University of Birmingham |
| Michael Coblenz | University of California San Diego |
| Michael Pradel | University of Stuttgart |
| Mira Mezini chair | Technische Universität Darmstadt |
| Nadia Polikarpova | University of California, San Diego |
| Neel Krishnaswami | University of Cambridge |
| Oliver Bračevac | Purdue University |
| Osbert Bastani | University of Pennsylvania |
| Owen Arden | UC Santa Cruz |
| Paolo Tonella | Università della Svizzera italiana |
| Pascal Weisenburger | University of St.Gallen |
| Patrick Eugster | Università della Svizzera italiana (USI); TU Darmstadt; Purdue University |
| Paul Gazzillo | University of Central Florida |
| Pavel Chuprikov | Università della Svizzera italiana |
| Peter Alvaro | UC Santa Cruz |
| Peter Thiemann | University of Freiburg |
| Peter-Michael Osera | Grinnell College |
| Philipp Haller | KTH Royal Institute of Technology |
| Philipp Schuster | University of Tübingen |
| Pinjia He | Chinese University of Hong Kong, Shenzhen |
| Qirun Zhang | Georgia Institute of Technology |
| Rachit Nigam | Cornell University |
| Ralf Jung | Massachusetts Institute of Technology |
| Rangeet Pan | IBM Research |
| Ranjit Jhala | University of California, San Diego |
| Raphaël Monat | Inria & University of Lille |
| Rob Sison | UNSW Sydney |
| Robert Rand | University of Chicago |
| Ross Tate | None |
| Sankha Narayan Guria | University of Kansas |
| Sarah Nadi | University of Alberta |
| Satish Chandra | Google |
| Sebastian Burckhardt | Microsoft Research |
| Sebastian Erdweg | JGU Mainz |
| Shaz Qadeer | Facebook |
| Shiwei Weng | Johns Hopkins University |
| Shriram Krishnamurthi | Brown University |
| Sophia Drossopoulou | Facebook and Imperial College London |
| Sorin Lerner | University of California, San Diego |
| Stephanie Balzer | Carnegie Mellon University |
| Steven Holtzen | Northeastern University |
| Steven Lyubomirsky | OctoML |
| Sukyoung Ryu | KAIST |
| Tijs van der Storm | CWI |
| Vasco T. Vasconcelos | University of Lisbon |
| Victor Nicolet | University of Toronto |
| Viktor Vafeiadis | MPI-SWS |
| Weihang Wang | University of Southern California |
| Will Crichton | Brown University |
| William Hallahan | Binghamton |
| Wolfgang De Meuter | Vrije Universiteit Brussel |
| Xiaowen Hu | The University of Sydney |
| Xinyu Wang | University of Michigan |
| Yannick Zakowski | Inria |
| Yuepeng Wang | Simon Fraser University |
| Zhong Shao | Yale University |