Program committee



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