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 |