Program committee



Name Affiliation
Zhendong Su University of California, Davis
Zachary Tatlock University of Washington
Zach Kincaid Princeton University
Yannis Smaragdakis University of Athens
Xi Yang ANU
Vu Le Microsoft
Vlad Ureche EPFL
Vikram Adve University of Illinois at Urbana-Champaign
Veselin Raychev ETH-Zürich
Tony Hosking Australian National University, Data61 (formerly NICTA), and Purdue University
Todd Mytkowicz Microsoft Research
Todd Millstein University of California, Los Angeles
Swarat Chaudhuri Rice
Steve Blackburn ANU
Stephen McCamant University of Minnesota
Stelios Sidiroglou-Douskos MIT
Simon Peyton-Jones Microsoft Research Cambridge
Sicun Gao MIT
Sasa Misailovic ETHZ
Santosh Nagarakatte Rutgers University
Samuel Guyer Tufts University
Saeed Maleki Microsoft Research
Rodric Rabbah IBM
Robert Soulé USI (Lugano)
Robert O'Callahan Mozilla
Robert Grimm Goldman-Sachs
Robert Bocchino Jet Propulsion Laboratory, Caltech
Ravi Chugh Chicago
Ras Bodik University of Washington
Ranjit Jhala UC San Diego
Peter-Michael Osera Grinnell College
Peter Ohmann Wisconsin
Perry Cheng IBM
Patrice Godefroid Microsoft Research
Owen Arden Cornell
Murali Krishna Ramanathan IISc Bangalore
Mukund Raghotaman University of Pennsylvania
Mooly Sagiv Tel Aviv University
Mike Hicks University of Maryland
Michelle Strout University of Arizona
Michael Pradel TU Darmstadt
Michael Hind IBM Research
Michael Ernst Washington
Michael Carbin MIT
Melanie Kambadur Columbia University
Matt Fredrikson Carnegie Mellon University
Martin Vechev ETH Zurich
Martin Rinard MIT
Martha Kim Columbia University
Mark Batty Kent
Marco Pistoia IBM T. J. Watson Research Center
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
Manu Sridharan Samsung Research America
Loris D'Antoni University of Wisconsin-Madison
Keshav Pingali UT-Austin
Kathryn McKinley Microsoft Research
Justin Hsu University of Pennsylvania
Julian Shun Berkeley
Julia Lawall Inria
Jonathan Ragan-Kelley Stanford
John Vilk University of Massachusetts Amherst
John Criswell University of Rochester
Joe Gibbs Politz Swarthmore
Jed Liu Cornell
Jean Yang Carnegie Mellon University
Jay Ligatti USF
Isil Dillig UT Austin
Hans Boehm Google
Hank Hoffmann Chicago
Guy Steele Oracle
Guilherme Ottoni Facebook
Greta Yorsh Queen Mary University of London
Gordon Stewart Ohio University
George Fourtounis Athens
George Balatsouras University of Athens
Fan Long MIT
Eva Darulova MPI-SWS
Eran Yahav Technion
Emma Tosch UMass Amherst
Emery Berger chair Slack Integration
Emery Berger chair University of Massachusetts Amherst
Eddie Aftandilian Google
Doug Lea SUNY Oswego
David Walker Princeton
David Brumley Carnegie Mellon University
Daniel Lustig NVIDIA
Dan Marino Symantec Research Labs
Dan Barowy UMass Amherst
Cristian Cadar Imperial College London
Cosmin Radoi UIUC
Cormac Flanagan UCSC
Colin Gordon Drexel University
Cole Schlesinger Samsung Research
Cindy Rubio University of California, Davis
Charlie Curtsinger Grinnell College
Caitlin Sadowski Google
Bryan Ford EPFL
Brandon Lucia Carnegie Mellon University
Bo Wu Colorado School of Mines
Bill Harris Georgia Tech
Ben Zorn Microsoft Research
Ben Liblit University of Wisconsin–Madison
Aws Albarghouthi University of Wisconsin-Madison
Aseem Rastogi Maryland
Armando Solar-Lezama MIT
Arjun Radhakrishna University of Pennsylvania
Arjun Guha UMass Amherst
Andrew Myers Cornell University
Albert Cohen INRIA
Adrian Sampson Cornell University
Aditya Thakur Google