Program committee



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
Jian-Guang Lou Microsoft Research, Beijing, China
Justin Gottschlich Intel labs
Martin Vechev DeepCode.ai and ETH Zurich
Nesime Tatbul Intel Labs and MIT
Premkumar Devanbu UC Davis
Rishabh Singh Microsoft Research
Sebastian Riedel University College London
Tao Xie UIUC
Tatiana Shpeisman Google