| Jade Alglave |
ARM and University College London |
| Steve Blackburn |
Australian National University |
| Shriram Krishnamurthi |
Brown University |
| Neel Krishnaswami |
Cambridge University |
| Limin Jia |
Carnegie Mellon University |
| Magnus Myreen |
Chalmers |
| Todd Mowry |
CMU |
| Van Chan Ngo |
CMU |
| Louis-Noel Pouchet |
Colorado State University |
| Christina Delimitriou |
Cornell |
| Andrew Myers |
Cornell University |
| June Andronick |
Data61 at CSIRO and UNSW |
| Veselin Raychev |
DeepCode.ai |
| James Larus |
EPFL |
| Dana Drachsler Cohen |
ETH Zurich |
| Markus Püschel |
ETH Zurich |
| Petar Tsankov |
ETH Zurich |
| Zhendong Su |
ETH Zurich |
| Laurent Vanbever |
ETH Zürich |
| Guilherme Ottoni |
Facebook |
| Satish Chandra |
Facebook |
| Shaz Qadeer |
Facebook |
| Luís Pina |
George Mason University |
| Qirun Zhang |
Georgia Tech |
| Jennifer B. Sartor |
Ghent University and Vrije Universiteit Brussel |
| Albert Cohen |
Google |
| Ben L. Titzer |
Google |
| Kathryn S McKinley |
Google |
| Martin Maas |
Google |
| Neha Agarwal |
Google |
| Peter Hawkins |
Google |
| Ankur Taly |
Google AI |
| Woosuk Lee |
Hanyang University |
| Stephen Chong |
Harvard University |
| Martin Hirzel |
IBM Research |
| Swarnendu Biswas |
IIT Kanpur |
| Michael Emmi |
IMDEA Software Institute |
| John Wickerson |
Imperial College London |
| Michael Marcozzi |
Imperial College London |
| Alastair Donaldson |
Imperial College London / Google |
| Ayal Zaks |
Intel Corporation and Technion, Israel |
| Kihong Heo |
KAIST |
| Sukyoung Ryu |
KAIST |
| Saman Amarasinghe |
Massachusetts Institute of Technology |
| Aseem Rastogi |
Microsoft Research |
| Benjamin Zorn |
Microsoft Research |
| Marc Brockschmidt |
Microsoft Research |
| Nuno P. Lopes |
Microsoft Research |
| Rahul Sharma |
Microsoft Research |
| Ting Cao |
Microsoft Research Asia |
| Sriram Rajamani |
Microsoft Research India |
| Minjia Zhang |
Microsoft Research Redmond |
| Tom Ball |
Microsoft Research Redmond |
| Martin Rinard |
MIT |
| Xinyu Feng |
Nanjing University |
| Amal Ahmed |
Northeastern University |
| Stephen Chang |
Northeastern University |
| Saurav Muralidharan |
NVIDIA |
| Chris Seaton |
Oracle Labs |
| Guy L. Steele |
Oracle Labs |
| Mahmut Kandemir |
Penn State |
| Michael Greenberg |
Pomona College |
| Aarti Gupta |
Princeton |
| Roopsha Samanta |
Purdue |
| Xiangyu Zhang |
Purdue |
| Suresh Jagannathan |
Purdue University |
| Swarat Chaudhuri |
Rice University |
| Santosh Nagarakatte |
Rutgers |
| Zheng Zhang |
Rutgers University |
| Camil Demetrescu |
Sapienza University of Rome |
| Chung-Kil Hur |
Seoul National University |
| Eric Koskinen |
Stevens Institute of Technology |
| Doug Lea |
SUNY Oswego |
| Erez Petrank |
Technion |
| Eran Yahav |
Technion and Codota |
| Sharon Shoham Buchbinder |
Tel Aviv |
| Jeff Huang |
Texas A&M University |
| Shing-Chi Cheung |
The Hong Kong University of Science and Technology |
| Michael Pradel |
TU Darmstadt |
| Kathleen Fisher chair |
Tufts University |
| Manu Sridharan |
Uber |
| Lindsey Kuper |
UC Santa Cruz |
| Yufei Ding |
UCSB |
| Darko Marinov |
UIUC |
| Alexandra Fedorova |
University of British Columbia |
| Cindy Rubio-Gonzalez |
University of California, Davis |
| Nadia Polikarpova |
University of California, San Diego |
| Ranjit Jhala |
University of California, San Diego |
| Anil Madhavapeddy |
University of Cambridge |
| John Reppy |
University of Chicago |
| Michael O'Boyle |
University of Edinburgh |
| Sasa Misailovic |
University of Illinois at Urbana-Champaign |
| Walter Binder |
University of Lugano (USI) |
| Thomas Wenisch |
University of Michigan |
| Eric Bodden |
University of Paderborn |
| Mayur Naik |
University of Pennsylvania |
| Osbert Bastani |
University of Pennsylvania |
| Rajeev Alur |
University of Pennsylvania |
| Chen Ding |
University of Rochester |
| Sreepathi Pai |
University of Rochester |
| Isil Dillig |
University of Texas at Austin |
| Tongping Liu |
University of Texas at San Antonio |
| Alexandra Jimborean |
University of Uppsala |
| Mary Hall |
University of Utah |
| Emina Torlak |
University of Washington |
| Rastislav Bodik |
University of Washington |
| Zachary Tatlock |
University of Washington |
| Gabriele Keller |
Utrecht University |
| Guy Golan-Gueta |
VMware Research |
| Ondřej Lhoták |
Waterloo |
| Ilya Sergey |
Yale-NUS College |