Program Committee PLDI 2017

Martin Vechev Program Chair

DeepCode and ETH Zurich, Switzerland

Eddie Aftandilian

Google

United States

David F. Bacon

Google

United States

Uday Bondhugula

Indian Institute of Science

India

Bor-Yuh Evan Chang

University of Colorado Boulder

Swarat Chaudhuri

Rice University

Alvin Cheung

University of Washington

Ravi Chugh

University of Chicago

Joseph Devietti

University of Pennsylvania

Cezara Drăgoi

INRIA, ENS, CNRS

France

Jeffrey S. Foster

University of Maryland, College Park

United States

Franz Franchetti

Carnegie Mellon University

Dan Grossman

University of Washington

United States

Tim Harris

Oracle Labs

Jan Hoffmann

Carnegie Mellon University

United States

Jeff Huang

Texas A&M University

Zachary Kincaid

Princeton University

United States

Milind Kulkarni

Purdue University

Francesco Logozzo

Facebook

United States

Shan Lu

University of Chicago

Vikash Mansinghka

Massachusetts Institute of Technology

Sasa Misailovic

University of Illinois at Urbana-Champaign

United States

Madan Musuvathi

Microsoft Research

Onur Mutlu

ETH Zurich

Anders Møller

Aarhus University

Denmark

Mayur Naik

Georgia Tech

Marco Pistoia

IBM Research

United States

Michael Pradel

TU Darmstadt

Andrey Rybalchenko

Microsoft Research

United Kingdom

Sharon Shoham

Tel Aviv university

Israel

Alexandra Silva

University College London

United Kingdom

Rishabh Singh

Microsoft Research

India

Charles Sutton

University of Edinburgh

United Kingdom

Eran Yahav

Technion

Israel

Junfeng Yang

Columbia University

Andreas Zeller

Saarland University

Germany