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