| 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 |