A
Sumit Gulwani
Microsoft
Pushmeet Kohli
Armando Solar-Lezama
Massachusetts Institute of Technology
Rajeev Alur
University of Pennsylvania
Dana Fisman
Jacob Devlin
Google
Ke Wang
University of California
Marc Brockschmidt
Philip J. Guo
Benjamin G. Zorn
Design Your Avatar