May 7-10, 2017 Asilomar, California
Conference Organization
Steering Committee
Thomas Ball, Microsoft Research (General Co-Chair)
Rastislav Bodik, University of Washington (General Co-Chair)
Shriram Krishnamurthi, Brown University (Program Co-Chair)
Greg Morrisett, Cornell University (Program Co-Chair)
Program Committee
June Andronick, Data61, CSIRO (formerly NICTA) and UNSW
Emery Berger, University of Massachusetts Amherst
Byron Cook, UCL or Amazon Web Services
Isil Dillig, UT Austin
John Field, Google
Nate Foster, Cornell
Torsten Grust, Universität Tübingen
Pat Hanrahan, Stanford
Ranjit Jhala, UCSD
Limin Jia, Carnegie Mellon University
Andrew J. Ko, University of Washington
Madan Musuvathi, Microsoft Research
Priya Nagpurkar, IBM Research
Ruzica Piskac, Yale
Jonathan Ragan-Kelley, UC Berkeley
Ganesan Ramalingam, Microsoft Research
Martin Rinard, MIT
Yannis Smaragdakis, University of Athens
Éric Tanter, University of Chile
Jean-Baptiste Tristan, Oracle Labs
Peng Wu, Huawei America Research Lab
Charles Zhang, Hong Kong University of Science and Technology
Publications Chair
Ben Lerner, Northeastern University
Submissions Chair
Sarah Chasins, University of California, Berkeley
Local Contact
Amanda Robles, arobles [at] cs.washington.edu, University of Washington
Webmaster
Phitchaya Mangpo Phothilimthana, University of California, Berkeley