| Name | Affiliation |
|---|---|
| Alex Polozov | Microsoft Research, Redmond, WA |
| Armando Solar-Lezama chair | Massachusetts Institute of Technology |
| Dana Drachsler Cohen | ETH Zurich |
| Dawn Song | UC Berkeley |
| Koushik Sen | University of California, Berkeley |
| Marc Brockschmidt | Microsoft Research |
| Mejbah Alam | Intel Labs |
| Osbert Bastani | Massachusetts Institute of Technology |
| Ras Bodik | University of Washington |
| Swarat Chaudhuri | Rice University |
| Yisong Yue | Caltech |