Program committee



Name Affiliation
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