| Abhinav Jangda |
Microsoft Research, Redmond |
| Alasdair Armstrong |
University of Cambridge |
| Alex Reinking |
University of California Berkeley |
| Alex Sanchez-Stern |
UMass Amherst |
| Ali Ghanbari |
Dept. of Computer Science, Iowa State University |
| Andrew Hirsch |
University at Buffalo |
| Anitha Gollamudi |
University of Massachusetts, Lowell (UML) |
| Ashish Mishra |
Purdue University |
| Avraham Shinnar |
IBM T.J. Watson Research Center |
| Ben Greenman chair |
Brown University |
| Benjamin Chung |
Northeastern University |
| Benno Stein |
University of Colorado Boulder |
| Chandrakana Nandi |
Certora Inc. |
| Daming Zou |
ETH Zurich |
| Daniel W. Barowy |
Williams College |
| Denis Merigoux |
INRIA |
| Emanuele D'Osualdo |
MPI-SWS |
| Ethan Cecchetti |
University of Maryland |
| Fabian Muehlboeck |
Institute of Science and Technology Austria |
| Guillaume Baudart chair |
Inria |
| Hendrik van Antwerpen |
Delft University of Technology |
| Jay P. Lim |
Rutgers University |
| Jenna DiVincenzo |
Purdue University |
| Jérémie Koenig |
Yale University |
| Jialu Zhang |
Yale University |
| Jiasi Shen |
The Hong Kong University of Science and Technology |
| Jihyeok Park |
Korea University |
| John Sarracino |
Unaffiliated |
| Julie Newcomb |
University of Washington |
| Julie L. Newcomb |
University of California at Berkeley |
| Kartik Singhal |
University of Chicago |
| Kesha Hietala |
amazon |
| 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 |
| Martin Kellogg |
New Jersey Institute of Technology |
| Matías Toro |
University of Chile |
| Matteo Cimini |
University of Massachusetts Lowell |
| Max New |
University of Michigan |
| Michael Arntzenius |
University of Birmingham |
| Michael Coblenz |
University of California San Diego |
| Oliver Bračevac |
Purdue University |
| Owen Arden |
UC Santa Cruz |
| Paul Gazzillo |
University of Central Florida |
| Peter-Michael Osera |
Grinnell College |
| Philipp Schuster |
University of Tübingen |
| Pinjia He |
Chinese University of Hong Kong, Shenzhen |
| Rachit Nigam |
Cornell University |
| Raphaël Monat |
Inria & University of Lille |
| Rob Sison |
UNSW Sydney |
| Sankha Narayan Guria |
University of Kansas |
| Shiwei Weng |
Johns Hopkins University |
| Shrutarshi Basu |
Middlebury College |
| Steven Lyubomirsky |
University of Washington |
| Victor Nicolet |
University of Toronto |
| Weihang Wang |
University of Southern California |
| Will Crichton |
Brown University |
| William Hallahan |
Binghamton |
| Xiaowen Hu |
The University of Sydney |
| Yannick Zakowski |
Inria |
| Yuepeng Wang |
Simon Fraser University |