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