| Adam Chlipala | MIT |
| Aditya Kanade | Indian Institute of Science |
| Albert Cohen | Google |
| Andreas Rossberg | Dfinity Foundation |
| Andreas Zeller | CISPA Helmholtz Center for Information Security |
| Anil Madhavapeddy | University of Cambridge |
| Armando Solar-Lezama | Massachusetts Institute of Technology |
| Ayal Zaks | Intel and Technion |
| Azalea Raad | Imperial College London |
| Ben Greenman | Northeastern University |
| Ben Hardekopf | UC Santa Barbara |
| Ben Liblit | Amazon |
| Ben Titzer | Carnegie Mellon University |
| Ben Zorn | Microsoft Research |
| Bor-Yuh Evan Chang | University of Colorado Boulder & Amazon |
| Brandon Lucia | Carnegie Mellon University |
| Caitlin Sadowski | Google |
| Camil Demetrescu | Sapienza University of Rome |
| Charlie Curtsinger | Grinnell College |
| Cindy Rubio-González | University of California, Davis |
| Cormac Flanagan | UC Santa Cruz |
| Cristian Cadar | Imperial College London |
| Danfeng Zhang | Penn State University |
| Darko Marinov | University of Illinois at Urbana-Champaign |
| David Darais | Galois, Inc. |
| David I. August | Princeton University |
| Doug Lea | State University of New York (SUNY) Oswego |
| Eran Yahav chair | Codota and Technion |
| Eran Yahav | Ghost account for testing HotCRP Settings |
| Erez Petrank | Technion |
| Eva Darulova | Max Planck Institute for Software Systems |
| Francesco Logozzo | Facebook |
| Fredrik Kjolstad | Stanford University |
| Gagandeep Singh | VMware Research |
| Gail Kaiser | Columbia University |
| Gerwin Klein | UNSW, CSIRO |
| Görel Hedin | Lund University |
| Grigore Rosu | University of Illinois Urbana–Champaign |
| Gustavo Petri | ARM Research, Cambridge, UK |
| He Zhu | Rutgers |
| Heather Miller | Carnegie Mellon University |
| Hila Peleg | University of California, San Diego |
| Hongseok Yang | KAIST |
| Isil Dillig | University of Texas Austin |
| Jan Hoffmann | Carnegie Melon University |
| John Sarracino | Cornell University |
| José Fragoso Santos | Instituto Superior Tecnico & INESC-ID |
| Joseph Devietti | University of Pennsylvania |
| Joxan Jaffar | National University of Singapore |
| Julian Dolby | IBM Thomas J. Watson Research Center |
| Julian Shun | Massahusetts Institute of Technology |
| Kapil Vaswani | Microsoft Research |
| Ke Wang | Visa Research |
| Kwangkeun Yi | Seoul National University |
| Lindsey Kuper | UC Santa Cruz |
| Loris D'Antoni | University of Wisconsin Madison |
| Louis-Noel Pouchet | Colorado State University |
| Madan Musuvathi | Microsoft Research |
| Magnus Madsen | Aarhus University |
| Magnus Myreen | Chalmers University of Technology |
| Mahmut Taylan Kandemir | Penn State, USA |
| Marc Brockschmidt | Microsoft Research |
| Markus Püschel | ETH Zurich |
| Martin Rinard | MIT |
| Matthew Flatt | University of Utah |
| Michael Bond | Ohio State University |
| Michael Hicks | University of Maryland |
| Michael O'Boyle | University of Edinburgh |
| Michael Pradel | University of Stuttgart |
| Milind Kulkarni | Purdue |
| Na Meng | Virginia Tech |
| Nate Foster | Cornell University |
| Nathan Chong | Amazon |
| Nikhil Swamy | MSR Redmond |
| Nikos Vasilakis | Massachusetts Institute of Technology (MIT) |
| Nuno P. Lopes | Microsoft Research |
| Oded Padon | VMware Research |
| Osbert Bastani | University of Pennsylvania |
| Paul Gazzillo | University of Central Florida |
| Pavel Panchekha | University of Utah |
| Pavol Bielik | ETH Zurich |
| Rahul Sharma | Microsoft Research |
| Ranjit Jhala | University of California, San Diego |
| Ravi Chugh | University of Chicago |
| Rishabh Singh | Google |
| Roopsha Samanta | Purdue University |
| Ruzica Piskac | Yale University |
| Ryan Newton | Facebook |
| Sandeep Dasgupta | Google, United States |
| Sara Achour | MIT |
| Saswat Padhi | Amazon Web Services |
| Saumya Debray | University of Arizona |
| Saurav Muralidharan | NVIDIA |
| Sebastian Hack | Saarland University |
| Simon Peyton-Jones | Microsoft Research Cambridge |
| Sorav Bansal | Indian Institute of Technology Delhi |
| Stephen Kell | University of Kent |
| Steve Blackburn | Australian National University |
| Sukyoung Ryu | KAIST |
| Suresh Jagannathan | Purdue University |
| Swarat Chaudhuri | UT Austin |
| Tahina Ramananandro | Microsoft Research |
| Tamara Rezk | INRIA Sophia-Antipolis |
| Tatiana Shpeisman | Google |
| Thomas Reps | University of Wisconsin |
| Thomas Shull | Oracle Labs |
| Timon Gehr | ETH Zurich |
| Ting Cao | Microsoft Research |
| Tobias Wrigstad | Uppsala |
| Toby Murray | University of Melbourne and Data61 |
| Todd Millstein | UCLA |
| Tomofumi Yuki | INRIA |
| Tony Hosking | Australian National University / Data61 |
| Uri Alon | Technion |
| Vijay Ganesh | University of Waterloo |
| Viktor Kunčak | EPFL |
| Viktor Vafeiadis | Max Planck Institute for Software Systems |
| Vivek Sarkar | Georgia Institute of Technology |
| Willem Visser | Stellenbosch University |
| Woosuk Lee | Hanyang University |
| Xin Zhang | Peking University |
| Xinyu Feng | Nanjing University |
| Xinyu Wang | University of Michigan |
| Xulong Tang | University of Pittsburgh |
| Yaniv David | Technion |
| Yannis Smaragdakis | University of Athens |
| Zachary Tatlock | University of Washington |