Program committee



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