Program committee



Name Affiliation
Adam Chlipala MIT
Aditya Kanade Indian Institute of Science
Albert Cohen Google
Andreas Rossberg Dfinity Foundation
Andreas Zeller CISPA Helmholtz Center for Information Security
Anil Madhavapeddy University of Cambridge
Armando Solar-Lezama Massachusetts Institute of Technology
Ayal Zaks Intel and Technion
Azalea Raad Imperial College London
Ben Greenman Northeastern University
Ben Hardekopf UC Santa Barbara
Ben Liblit Amazon
Ben Titzer
Ben Zorn Microsoft Research
Bor-Yuh Evan Chang University of Colorado Boulder & Amazon
Brandon Lucia Carnegie Mellon University
Caitlin Sadowski Google
Camil Demetrescu Sapienza University of Rome
Charlie Curtsinger Grinnell College
Cindy Rubio-González University of California, Davis
Cormac Flanagan UC Santa Cruz
Cristian Cadar Imperial College London
Danfeng Zhang Penn State University
Darko Marinov University of Illinois at Urbana-Champaign
David Darais Galois, Inc.
David I. August Princeton University
Doug Lea State University of New York (SUNY) Oswego
Eran Yahav chair Codota and Technion
Eran Yahav Ghost account for testing HotCRP Settings
Erez Petrank Technion
Eva Darulova Max Planck Institute for Software Systems
Francesco Logozzo Facebook
Fredrik Kjolstad Stanford University
Gagandeep Singh VMware Research
Gail Kaiser Columbia University
Gerwin Klein UNSW, CSIRO
Görel Hedin Lund University
Grigore Rosu University of Illinois Urbana–Champaign
Gustavo Petri ARM Research, Cambridge, UK
He Zhu Rutgers
Heather Miller Carnegie Mellon University
Hila Peleg University of California, San Diego
Hongseok Yang KAIST
Isil Dillig University of Texas Austin
Jan Hoffmann Carnegie Melon University
John Sarracino Cornell University
José Fragoso Santos Instituto Superior Tecnico & INESC-ID
Joseph Devietti University of Pennsylvania
Joxan Jaffar National University of Singapore
Julian Dolby IBM Thomas J. Watson Research Center
Julian Shun Massahusetts Institute of Technology
Kapil Vaswani Microsoft Research
Ke Wang Visa Research
Kwangkeun Yi Seoul National University
Lindsey Kuper UC Santa Cruz
Loris D'Antoni University of Wisconsin Madison
Louis-Noel Pouchet Colorado State University
Madan Musuvathi Microsoft Research
Magnus Madsen Aarhus University
Magnus Myreen Chalmers University of Technology
Mahmut Taylan Kandemir Penn State, USA
Marc Brockschmidt Microsoft Research
Markus Püschel ETH Zurich
Martin Rinard MIT
Matthew Flatt University of Utah
Michael Bond Ohio State University
Michael Hicks University of Maryland
Michael O'Boyle University of Edinburgh
Michael Pradel University of Stuttgart
Milind Kulkarni Purdue
Na Meng Virginia Tech
Nate Foster Cornell University
Nathan Chong Amazon
Nikhil Swamy MSR Redmond
Nikos Vasilakis Massachusetts Institute of Technology (MIT)
Nuno P. Lopes Microsoft Research
Oded Padon VMware Research
Osbert Bastani University of Pennsylvania
Paul Gazzillo University of Central Florida
Pavel Panchekha University of Utah
Pavol Bielik ETH Zurich
Rahul Sharma Microsoft Research
Ranjit Jhala University of California, San Diego
Ravi Chugh University of Chicago
Rishabh Singh Google
Roopsha Samanta Purdue University
Ruzica Piskac Yale University
Ryan Newton Facebook
Sandeep Dasgupta Google, United States
Sara Achour MIT
Saswat Padhi Amazon Web Services
Saumya Debray University of Arizona
Saurav Muralidharan NVIDIA
Sebastian Hack Saarland University
Simon Peyton-Jones Microsoft Research Cambridge
Sorav Bansal Indian Institute of Technology Delhi
Stephen Kell University of Kent
Steve Blackburn Australian National University
Sukyoung Ryu KAIST
Suresh Jagannathan Purdue University
Swarat Chaudhuri UT Austin
Tahina Ramananandro Microsoft Research
Tamara Rezk INRIA Sophia-Antipolis
Tatiana Shpeisman Google
Thomas Reps University of Wisconsin
Thomas Shull Oracle Labs
Timon Gehr ETH Zurich
Ting Cao Microsoft Research
Tobias Wrigstad Uppsala
Toby Murray University of Melbourne and Data61
Todd Millstein UCLA
Tomofumi Yuki INRIA
Tony Hosking Australian National University / Data61
Uri Alon Technion
Vijay Ganesh University of Waterloo
Viktor Kunčak EPFL
Viktor Vafeiadis Max Planck Institute for Software Systems
Vivek Sarkar Georgia Institute of Technology
Willem Visser Stellenbosch University
Woosuk Lee Hanyang University
Xin Zhang Peking University
Xinyu Feng Nanjing University
Xinyu Wang University of Michigan
Xulong Tang University of Pittsburgh
Yaniv David Technion
Yannis Smaragdakis University of Athens
Zachary Tatlock University of Washington