Program committee



Name Affiliation
Adarsh Yoga Rutgers University
Alexei Colin Carnegie Mellon University
Anders Miltner Princeton University
Andrei Lascu Imperial College London
Aravind Acharya aravind.acharya@csa.iisc.ernet.in
August Shi University of Illinois at Urbana-Champaign
Ben Blum CMU
Bobby Powers University of Massachusetts Amerst
Brandon Lucia chair Carnegie Mellon University
Chengnian Sun UC Davis
Gianluca Mezzetti Aarhus University
Gowtham Kaki Purdue University
Ivan Kuraj MIT
Leo Osvald Purdue University
Malavika Samak Indian Institute of Science
Minjia Zhang Microsoft Research
Murali Krishna Ramanathan chair Indian Institute of Science, Bangalore
Qirun Zhang University of California, Davis
Qiuping Yi Texas A&M University
Rashmi Mudduluru Microsoft Research India
Rian Shambaugh University of Massachusetts Amherst
Saurabh Kalikar Indian Institute of Technology Madras
Shachar Itzhaky MIT
Shumo Chu University of Washington
Snehasish Kumar Simon Fraser University
Sreepathi Pai The University of Texas at Austin
Stefan Heule Stanford University
Sulekha R Kulkarni University of Pennsylvania
Van Chan Ngo School of Computer Science
Zhoulai Fu University of California, Davis