| Name | Affiliation |
|---|---|
| Kwangkeun Yi | Seoul National University |
| Dawn Song | UC Berkeley |
| Armando Solar (Chair) | MIT |
| Sriram Rajamani | Microsoft Research India |
| Amey Karkare | IIT Kanpur |
| Sumit Gulwani | Microsoft Research |
| Swarat Chaudhuri | Rice University |
| Josh Berdine | Microsoft Research, Cambridge |