Program committee



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