Program committee



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