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