Program committee



Name Affiliation
Adam Chlipala MIT
Aditya Kanade Indian Institute of Science
Alastair Reid Arm Limited
Alessandra Gorla IMDEA Software Institute
Alexandra (Sasha) Fedorova University of British Columbia
Andreas Rossberg Google
Arjun Guha University of Massachusetts Amherst
Arthur Azevedo de Amorim Carnegie Mellon University
Avik Chaudhuri Facebook
Azadeh Farzan University of Toronto
Ben Hermann University of Paderborn
Ben Livshits Imperial College London
Ben L. Titzer Google
Benjamin Zorn Microsoft Research
Chinawat Isradisaikul Cornell University
Christian Wimmer Oracle Labs
Dan Grossman chair University of Washington
David Menendez Rutgers University
David J. Pearce Victoria University of Wellington
Deian Stefan University of California San Diego
Dimitrios Vytiniotis Microsoft Research
Doug Lea State University of New York at Oswego
Emina Torlak University of Washington
Erez Petrank Technion
Eva Darulova Max Planck Institute for Software Systems
Fan Long MIT
Grigore Rosu University of Illinois at Urbana-Champaign
Hans-J. Boehm Google
Harry Xu UCLA
Heather Miller Ecole Polytechnique Federale de Lausanne & Northeastern University
Isil Dillig University of Texas at Austin
Iulian Neamtiu New Jersey Institute of Technology
Jason Mars University of Michigan
Jean-Baptiste Tristan Oracle Labs
Jeffrey Foster University of Maryland, College Park
Jennifer B. Sartor Vrije Universiteit Brussel
Jens Palsberg University of California, Los Angeles
Jeremy G. Siek Indiana University
Jingling Xue UNSW Australia
Jonathan Ragan-Kelley UC Berkeley
Joxan Jaffar National University of Singapore
Julian Dolby IBM Thomas J. Watson Research Center
Kapil Vaswani Microsoft Research
Kathleen Fisher chair Tufts University
Kathryn S McKinley Google
Klaus Ostermann University of Tuebingen
Koushik Sen University of California, Berkeley
Lindsey Kuper Intel Labs
Loris D'Antoni University of Wisconsin-Madison
Maria Christakis Max Planck Institute for Software Systems
Martin Maas UC Berkeley
Mary Hall University of Utah
Matteo Cimini University of Massachusetts Lowell
Matthew Fluet Rochester Institute of Technology
Matthew Hammer University of Colorado Boulder
Matthias Hauswirth Universit… della Svizzera italiana
Michael Bond Ohio State University
Michael Greenberg Pomona College
Michelle Mills Strout University of Arizona
Milind Kulkarni Purdue University
Miltiadis Allamanis Microsoft Research
Mira Mezini TU Darmstadt
Mooly Sagiv Tel Aviv University
Nada Amin University of Cambridge
Nadia Polikarpova University of California, San Diego
Osbert Bastani Massachusetts Institute of Technology
Patrick Lam University of Waterloo
Philippa Gardner Imperial College London
Phitchaya Mangpo Phothilimthana University of California, Berkeley
Qirun Zhang University of California, Davis
Rahul Sharma Microsoft Research
Rajeev Alur University of Pennsylvania
Ronghui Gu Columbia University
Ross Tate Cornell University
Ruzica Piskac Yale University
Ryan Beckett Princeton University
Ryan Newton Indiana University
Samuel Z. Guyer Tufts University
Satish Chandra Facebook
Scott Owens University of Kent
Sean Treichler NVIDIA
Sebastian Hack Saarland University
Shachar Itzhaky Technion
Sheng Chen University of Louisiana at Lafayette
Shoaib Kamil Adobe
Simon Peyton Jones Microsoft Research
Sorin Lerner University of California, San Diego
Sriram Krishnamoorthy Pacific Northwest National Laboratory
Stephen Freund Williams College
Steve Zdancewic University of Pennsylvania
Sukyoung Ryu KAIST
Tamara Rezk Inria
Tatiana Shpeisman Google
ThanhVu Nguyen University of Nebraska, Lincoln
Thomas Wuerthinger Oracle Labs
Tiark Rompf Purdue University
Tobias Wrigstad Uppsala University
Todd Mytkowicz Microsoft
Tony Hosking Australian National University / Data61
Tyler Sorensen Imperial College London
Umut Acar Carnegie Mellon University
Vijay Menon Google
Vikram Adve University of Illinois at Urbana-Champaign
Vincent St-Amour Northwestern University
Xavier Rival INRIA
Xi Wang University of Washington
Xiaokang Qiu Purdue University
Xin Zhang Massachusetts Institute of Technology
Xipeng Shen North Carolina State University
Yaniv David Technion
Yannis Smaragdakis University of Athens
Yu David Liu State University of New York (SUNY) Binghamton