External Review Committee PLDI 2017

Sara Achour

MIT

United States

Aws Albarghouthi

University of Wisconsin - Madison

Nada Amin

EPFL

Switzerland

Steve Blackburn

Australian National University

Australia

James Bornholt

University of Washington

United States

Sebastian Burckhardt

Microsoft Research

Switzerland

Michael Carbin

MIT

United States

Aleksandar Chakarov

University of Colorado Boulder

United States

Adam Chlipala

Massachusetts Institute of Technology, USA

United States

Maria Christakis

MPI-SWS, Germany

Greece

Eva Darulova

MPI-SWS

Germany

Alastair F. Donaldson

Imperial College London

United Kingdom

Dana Drachsler Cohen

Technion

Israel

John Field

Google

United States

Bryan Ford

Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland

Switzerland

Vijay Ganesh

Georgia Tech

United States

Alexey Gotsman

IMDEA

Aarti Gupta

Princeton University

Stefan Heule

Stanford University, USA

United States

Martin Hirzel

IBM Research

United States

Ranjit Jhala

University of California at San Diego, USA

United States

Patrick Lam

University of Waterloo

Brandon Lucia

Carnegie Mellon University

United States

Ravichandhran Madhavan

EPFL

Switzerland

Stephen McCamant

University of Minnesota

United States

Santosh Nagarakatte

Rutgers University, USA

United States

Ryan R. Newton

Indiana University

United States

Peter-Michael Osera

Grinnell College

United States

Hannes Payer

Google

Andreas Podelski

University of Freiburg, Germany

Germany

Zvonimir Rakamaric

University of Utah

United States

Veselin Raychev

ETH Zurich

Mariana Raykova

Yale University

Noam Rinetzky

Tel Aviv University

Israel

Cindy Rubio-González

University of California, Davis

Rahul Sharma

Microsoft Research

India

Manu Sridharan

Uber

Daniel Tarlow

Microsoft Research

Petar Tsankov

ETH Zurich

Switzerland

Laurent Vanbever

ETH Zürich

Switzerland

John Vilk

University of Massachusetts, Amherst

United States

David Walker

Princeton University

United States

Jaeheon Yi

Google

Kwangkeun Yi

Seoul National University

Korea, South

Ayal Zaks

Intel and Technion, Israel

Xiangyu Zhang

Purdue University

Xin Zhang

Georgia Tech

China