Name Affiliation
Abdullah Muzahid UTSA
Alvin Cheung chair University of Washington
Armando Solar-Lezama Massachusetts Institute of Technology
Charles Sutton University of Edinburgh
Dawn Song UC Berkeley
Eran Yahav Codota and Technion
jlou@microsoft.com
Justin Gottschlich PC, sysadmin Intel labs
Martin Vechev ETH Zurich
Nesime Tatbul Intel Labs and MIT
Premkumar Devanbu UC Davis
Rishabh Singh Microsoft Research
s.riedel@cs.ucl.ac.uk
Tao Xie UIUC
tshpeism@gmail.com