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