| Ben Greenman chair |
Brown University |
| Tristan Dyer |
Brown University |
| Chandrakana Nandi |
Certora |
| Pinjia He |
Chinese University of Hong Kong, Shenzhen |
| John Sarracino |
Cornell University |
| Ryan Culpepper |
CVUT |
| Daming Zou |
ETH Zurich |
| Kristina Sojakova |
INRIA |
| Fabian Muehlboeck |
Institute of Science and Technology Austria |
| Vesna Nowack |
Lancaster University |
| Raphaël Monat |
LIP6, Sorbonne Université |
| Ryan Kavanagh |
McGill University |
| Eric Atkinson |
MIT |
| Samuel Gruetter |
MIT |
| Alex Renda |
MIT CSAIL |
| Jiasi Shen |
MIT CSAIL |
| Thomas Bourgeat |
MIT CSAIL |
| Emanuele D'Osualdo |
MPI-SWS |
| Daniel Patterson |
Northeastern |
| Jihyeok Park |
Oracle Labs |
| Michele Chiari |
Politecnico di Milano |
| Kirshanthan Sundararajah |
Purdue University |
| Nouraldin Jaber |
Purdue University |
| Oliver Bracevac |
Purdue University |
| Ana Milanova chair |
Rensselaer Polytechnic Institute |
| Dongjie He |
School of Computer Science and Engineering, University of New South Wales Sydney |
| Ifaz Kabir |
University of Alberta |
| Felipe Bañados Schwerter |
University of British Columbia |
| Khaled Ahmed |
University of British Columbia |
| Michael Coblenz |
University of California San Diego |
| Alasdair Armstrong |
University of Cambridge |
| Benno Stein |
University of Colorado Boulder, Meta |
| Xiaohong Chen |
University of Illinois at Urbana-Champaign |
| Ethan Cecchetti |
University of Maryland |
| Jingbo Lu |
University of New South Wales |
| Calvin Smith |
University of Texas at Austin |
| Sidi Mohamed Beillahi |
University of Toronto |
| Victor Nicolet |
University of Toronto |
| Martin Kellogg |
University of Washington |
| Lauren Pick |
University of Wisconsin, Madison |
| Aurèle Barrière |
Univ Rennes, Inria, CNRS, IRISA |
| Chiké Abuah |
UVM |
| Jay P. Lim |
Yale University |
| Jérémie Koenig |
Yale University |