| Aarti Gupta | Princeton University |
| Aditya Kanade | Indian Institute of Science; Google Brain |
| Adrian Sampson | Cornell University |
| Akash Lal | Microsoft Research |
| Alexandra Jimborean | Uppsala University |
| Alvin Cheung | University of California, Berkeley |
| Amal Ahmed | Northeastern University (USA) |
| Andreas Rossberg | Dfinity Foundation |
| Anil Madhavapeddy | University of Cambridge |
| Arjun Guha | University of Massachusetts Amherst |
| Armando Solar-Lezama | Massachusetts Institute of Technology |
| Aseem Rastogi | Microsoft Research |
| Aws Albarghouthi | University of Wisconsin-Madison |
| Azadeh Farzan | University of Toronto |
| Azalea Raad | Imperial College London |
| Bor-Yuh Evan Chang | University of Colorado Boulder | Amazon |
| Brad Chamberlain | Cray, a Hewlett Packard Enterprise company |
| Bryan Parno | Carnegie Mellon University |
| Cezara Dragoi | INRIA ENS |
| Chris Seaton | Shopify |
| Corina Pasareanu | Carnegie Mellon University Silicon Valley |
| Daniel W. Barowy | Williams College |
| David Darais | University of Vermont |
| Dimitrios Vytiniotis | DeepMind |
| Emina Torlak chair | University of Washington |
| Eran Yahav | Codota and Technion |
| Erez Petrank | Technion |
| Eva Darulova | Max Planck Institute for Software Systems |
| Fan Long | University of Toronto |
| Fredrik Kjolstad | MIT CSAIL |
| Gail Kaiser | Columbia University |
| Grigore Rosu | University of Illinois Urbana–Champaign |
| Guilherme Ottoni | Facebook |
| Hans-J. Boehm | Google |
| Harry Xu | UCLA |
| Heather Miller | Carnegie Mellon University |
| Ilya Sergey | Yale-NUS College and National University of Singapore |
| Isil Dillig | University of Texas Austin |
| James Bornholt | University of Texas at Austin |
| John Regehr | University of Utah, USA |
| John Vilk | Stripe, Inc. |
| José Fragoso Santos | Instituto Superior Tecnico & INESC-ID |
| Julian Dolby | IBM Thomas J. Watson Research Center |
| Julian Shun | Massahusetts Institute of Technology |
| June Andronick | Data61 CSIRO (formerly NICTA) and UNSW |
| Ke Wang | Visa Research |
| Klaus Ostermann | University of Tuebingen |
| Lindsey Kuper | UC Santa Cruz |
| Madan Musuvathi | Microsoft Research |
| Mandana Vaziri | IBM Research |
| Mangpo Phothilimthana | Google Brain |
| Manu Sridharan | University of California, Riverside |
| Martin Vechev | ETH Zurich |
| Matthew Flatt | University of Utah |
| Matthias Hauswirth | USI |
| Michael Bond | Ohio State University |
| Michael Carbin | MIT |
| Michael Hicks | University of Maryland |
| Michael O'Boyle | University of Edinburgh |
| Michelle Strout | University of Arizona |
| Mike Dodds | Galois, Inc. |
| Milind Kulkarni | Purdue |
| Mukund Raghotaman | University of Southern California |
| Na Meng | Virginia Tech |
| Nate Foster | Cornell University |
| Nathan Chong | Amazon |
| Ondřej Lhoták | University of Waterloo |
| Patrice Godefroid | Microsoft Research |
| Pavel Panchekha | Utah |
| Pavol Bielik | ETH Zurich |
| Petar Tsankov | ETH Zurich |
| Peter Hawkins | Google |
| Pritam Gharat | Imperial |
| Qirun Zhang | Georgia Institute of Technology |
| Ronald Garcia | University of British Columbia |
| Ronghui Gu | Columbia University |
| Ross Tate | Cornell University |
| Ruzica Piskac | Yale University |
| Ryan Newton | Indiana University |
| Sam Guyer | Tufts University |
| Santosh Nagarakatte | Rutgers University |
| Sara Achour | MIT |
| Sara Baghsorkni | Intel |
| Sarah Chasins | UC Berkeley |
| Sarfraz Khurshid | UT Austin |
| Sasa Misailovic | University of Illinois at Urbana-Champaign |
| Saswat Padhi | University of California, Los Angeles |
| Satish Chandra | Facebook |
| Saurav Muralidharan | NVIDIA |
| Sebastian Burckhardt | Microsoft Research |
| Shachar Itzhaky | Technion |
| Shoaib Kamil | Adobe |
| Sorin Lerner | University of California, San Diego |
| Sriram Krishnamoorthy | Pacific Northwest National Laboratory |
| Steffen Smolka | Cornell University |
| Stephen Freund | Williams College |
| Stephen Kell | University of Kent |
| Tahina Ramananandro | Microsoft Research |
| Thomas Würthinger | Oracle Labs |
| Tiark Rompf | Purdue University |
| Timon Gehr | ETHZ |
| Ting Cao | Microsoft Research Asia |
| Toby Murray | University of Melbourne and Data61 |
| Tony Hosking | Australian National University / Data61 |
| Tyler Sorensen | Princeton University |
| Veselin Raychev | DeepCode AI |
| Vijay D'Silva | Google LLC |
| Viktor Kunčak | EPFL |
| Xi Wang | University of Washington |
| Xin Zhang | Massachusetts Institute of Technology |
| Yu Feng | University of California, Santa Barbara |
| Yufei Ding | UC Santa Barbara |
| Zachary DeVito | Facebook |
| Zachary Kincaid | Princeton University |
| Zachary Tatlock | University of Washington |