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 |