| Name | Affiliation |
|---|---|
| Alexa VanHattum | Cornell University |
| Chandrakana Nandi | Certora |
| Max Willsey | University of Washington |
| Nadia Polikarpova | University of California, San Diego |
| Philip Zucker | Draper Laboratory |
| Samuel Coward | Imperial College London, UK |
| Thomas Koehler | INRIA |
| Zachary Tatlock | University of Washington |