Program committee



Name Affiliation
Zhendong Su UC Davis
Yannis Smaragdakis University of Athens
Uday Khedker IIT Bombay
Todd Millstein University of California, Los Angeles
Tobias Wrigstad Uppsala University
Tiark Rompf Purdue University
Sukyoung Ryu KAIST
Steve Blackburn Australian National University
Sophia Drossopoulou Imperial College London
Santosh Nagarakatte Rutgers University
Sam Tobin-Hochstadt Indiana University
Roopsha Samanta Purdue University
Rodric Rabbah
Robert O'Callahan None
Richard Jones University of Kent
Rezwana Karim Samsung Research America
Rahul Sharma Microsoft Research
Patrick Lam University of Waterloo
Omer Tripp Google
Noam Rinetzky Tel Aviv University
Nina Narodytska VMWare Research
Nadia Polikarpova University of California, San Diego
Michelle Strout University of Arizona
Max Schaefer Semmle
Martin Vechev ETH Zurich
Maria Christakis MPI-SWS
Manu Sridharan chair Uber
Malavika Samak CSAIL, MIT
Madan Musuvathi Microsoft Research
Lindsey Kuper UC Santa Cruz
Jonathan Aldrich Carnegie Mellon University
Jeff Huang Texas A&M University
Harry Xu University of California, Irvine
Hans-J. Boehm Google
Hakjoo Oh Korea University
Francesco Logozzo Facebook
Fernando Pereira UFMG
Elena Zucca University of Genova
Eelco Visser Delft University of Technology
Derek Dreyer MPI-SWS
David Grove IBM Research
Colin Gordon Drexel University
Cindy Rubio-Gonzalez University of California, Davis
Christian Hammer University of Potsdam
Chandra Krintz University of California, Santa Barbara
Camil Demetrescu Sapienza University of Rome
Caitlin Sadowski Google
Bernhard Scholz The University of Sydney
Benjamin Livshits Imperial College London
Armando Solar-Lezama MIT CSAIL
Arjun Guha University of Massachusetts, Amherst
Anders Møller Aarhus University
Ana Milanova Rensselaer Polytechnic Institute
Alastair Donaldson Imperial College London
Adrian Sampson Cornell University
Adam Welc Uber