Program committee



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