| Name | Affiliation |
|---|---|
| Alexa VanHattum | Cornell University |
| Andrew Reynolds | University of Iowa |
| Chandrakana Nandi | Certora |
| Leonardo de Moura | Microsoft Research |
| Mangpo Phothilimthana | Google Brain |
| Max Willsey | University of Washington |
| Nadia Polikarpova | University of California, San Diego |
| Yisu Wang | University of Washington |
| Zachary Tatlock | University of Washington |