Program committee



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