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