Program committee



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