Program committee



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