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