Program committee



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