Program committee



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