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