Aarti Gupta |
Princeton University |
Adam Chlipala |
MIT |
Ahmed Bouajjani |
IRIF |
Alastair Donaldson |
Imperial College, London |
Aleksandar Chakarov |
University of Colorado Boulder |
Alexandra Silva |
University College London |
Alexey Gotsman |
IMDEA |
Alvin Cheung |
University of Washington |
Anders Møller |
Aarhus University |
Andreas Podelski |
University of Freiburg |
Andreas Zeller |
Saarland University |
Andrey Rybalchenko |
Microsoft Research |
Armando Solar-Lezama |
MIT |
Aws Albarghouthi |
University of Wisconsin-Madison |
Ayal Zaks |
Technion |
Bor-Yuh Evan Chang |
University of Colorado Boulder |
Brandon Lucia |
Carnegie Melon University |
Bryan Ford |
EPFL |
Cezara Dragoi |
INRIA |
Charles Sutton |
University of Edinburgh |
Cindy Rubio Gonzalez |
University of California, Davis |
Dan Grossman |
University of Washington |
Dana Drachsler Cohen |
Technion |
Daniel Tarlow |
Microsoft Research |
David Bacon |
Google |
David Walker |
Princeton University |
Eddie Aftandilian |
Google |
Emery Berger |
University of Massachusetts Amherst |
Eran Yahav |
Technion |
Erez Petrank |
Technion |
Eva Darulova |
Max Planck Institute for Software Systems |
Francesco Logozzo |
Facebook |
Franz Franchetti |
Carnegie Melon University |
Guy Steele |
Oracle Labs |
Hannes Payer |
Google |
Hans Boehm |
Google |
Hongseok Yang |
Oxford University |
Jaeheon Yi |
Google |
James Bornholt |
University of Washington |
Jan Hoffmann |
Carnegie Melon University |
Jeff Foster |
University of Maryland, College Park |
Jeff Huang |
Texas A&M University |
Jens Palsberg |
UCLA |
John Field |
Google |
John Regehr |
Utah |
John Vilk |
University of Massachusetts Amherst |
Joseph Devietti |
University of Pennsylvania |
Junfeng Yang |
Columbia University |
Koushik Sen |
University of California, Berkeley |
Kwangkeun Yi |
Seoul National University |
Laurent Vanbever |
ETH Zurich |
Loris D'Antoni |
University of Wisconsin Madison |
Madan Musuvathi |
Microsoft Research |
Madhusudan Parthasarathy |
University of Illinois at Urbana–Champaign |
Manu Sridharan |
Samsung Research |
Marco Pistoia |
IBM T.J. Watson Research Center |
Maria Christakis |
University of Kent |
Mariana Raykova |
Yale University |
Martin Hirzel |
IBM T. J. Watson Research Center |
Martin Vechev chair |
ETH |
Mayur Naik |
University of Pennsylvania |
Michael Bond |
Ohio State University |
Michael Carbin |
MIT |
Michael Pradel |
TU Darmstadt |
Milind Kulkarni |
Purdue |
Nada Amin |
EPFL |
Nate Foster |
Cornell University and Barefoot Networks |
Noam Rinetzky |
Tel Aviv University |
Ondřej Lhoták |
University of Waterloo |
Onur Mutlu |
ETH Zurich |
Patrick Lam |
University of Waterloo |
Petar Tsankov |
ETH Zurich |
Peter Sewell |
Cambridge University |
Peter-Michael Osera |
Grinnell College |
Rahul Sharma |
Microsoft Research |
Ranjit Jhala |
University of California, San Diego |
Ravi Chugh |
University of Chicago |
Ravichandhran Madhavan |
EPFL |
Rishabh Singh |
Microsoft Research |
Ryan Newton |
Indiana University |
Santosh Nagarakatte |
Rutgers University |
Sara Achour |
MIT |
Sasa Misailovic |
University of Illinois at Urbana-Champaign |
Sebastian Burckhardt |
Microsoft Research |
Shan Lu |
University of Chicago |
Sharon Shoham |
Tel Aviv University |
Sorin Lerner |
University of California, San Diego |
Stefan Heule |
Stanford University |
Stephen Freund |
Williams College |
Stephen McCamant |
University of Minnesota |
Steve Blackburn |
Australian National University |
Steve Zdancewic |
UPenn |
Suresh Jagannathan |
Purdue University |
Swarat Chaudhuri |
Rice University |
Tim Harris |
Oracle Labs |
Todd Millstein |
UCLA |
Uday Bondhugula |
Indian Institute of Science |
Veselin Raychev |
ETH Zurich |
Vijay Ganesh |
University of Waterloo |
Vikash Mansinghka |
MIT |
Vivek Sarkar |
Rice University |
Xiangyu Zhang |
Purdue University |
Xin Zhang |
Georgia Tech |
Zachary Kincaid |
Princeton University |
Zhong Shao |
Yale University |
Zvonimir Rakamaric |
Utah |