External Review Committee PLDI Research Papers

Edward Aftandilian

Google

Jade Alglave

University College London

France

Saman Amarasinghe

MIT

Emery D. Berger

University of Massachusetts, Amherst

United States

Rastislav Bodík

UC Berkeley

Hans-J. Boehm

Google

Carl Friedrich Bolz-Tereick

King's College London

Michael D. Bond

Ohio State University

Michael Burke

Rice University

Martin Burtscher

Texas State University

Calin Cascaval

Qualcomm Research

John Cavazos

University of Delaware

Bor-Yuh Evan Chang

University of Colorado Boulder

Swarat Chaudhuri

Rice University

Haibo Chen

Shanghai Jiao Tong University

Wenguang Chen

Tsinghua University

Perry Cheng

IBM Research

Yifeng Cheng

Peking University

Albert Cohen

INRIA

Byron Cook

Microsoft Research

William Cook

UT Austin

Saumya Debray

University of Arizona

Brian Demsky

University of California, Irvine

Joseph Devietti

University of Pennsylvania

Dave Dice

Oracle Labs

Işil Dillig

University of Texas, Austin

Thomas Dillig

University of Texas, Austin

Chen Ding

University of Rochester

United States

Amer Diwan

Google

Derek Dreyer

MPI-SWS

Sophia Drossopoulou

Imperial College London

United Kingdom

Susan Eisenbach

Imperial College London

Xiaobing Feng

ICT CAS

Stephen J Fink

IBM

Cormac Flanagan

UC Santa Cruz

Matthew Flatt

University of Utah

Daniel Frampton

Microsoft

Stephen N. Freund

Williams College

Patrice Godefroid

Microsoft Research

Ganesh Gopalakrishnan

University of Utah

R. Govindarajan

Korea Advanced Institute of Science and Technology

Thomas Gross

ETH Zurich

Dan Grossman

University of Washington

Sumit Gulwani

Microsoft Research

Rajiv Gupta

UC Riverside

Sam Guyer

Tufts University

Jungwoo Ha

Google

Mary Hall

University of Utah

Matthew Hammer

University of Colorado, Boulder

United States

Stefan Hanenberg

University of Duisburg-Essen

Germany

Tim Harris

Oracle Labs

Michael Hind

IBM Research

Martin Hirzel

IBM Research

Tony Hosking

Australian National University, Data61, and Purdue University

Australia

Hiroshi Inoue

IBM Research - Tokyo

Japan

Suresh Jagannathan

Purdue University

Somesh Jha

University of Wisconsin, Madison

Ranjit Jhala

University of California, San Diego

Pramod Joisha

Hewlett-Packard

Richard Jones

University of Kent

Jaakko Järvi

Texas A&M University

Mahmut Taylan Kandemir

Pennsylvania State University

Paul H J Kelly

Imperial College London

Andrew Kennedy

Microsoft Research

Milind Kulkarni

Purdue University

Doug Lea

State University of New York (SUNY) Oswego

Sorin Lerner

University of California, San Diego

Ondřej Lhoták

University of Waterloo

Ben Liblit

University of Wisconsin–Madison

Ben Livshits

Microsoft Research

P. Madhusudan

University of Illinois at Urbana-Champaign

Simon Marlow

Facebook

Vijay Menon

Google

Leo Meyerovich

Graphistry

Eliot Moss

University of Massachusetts Amherst

United States

Todd Mytkowicz

Microsoft Research

Anders Møller

Aarhus University

Satish Narayanasamy

University of Michigan

Rupesh Nasre

IIT Madras, India

Iulian Neamtiu

University of California, Riverside

United States

James Noble

Victoria University of Wellington

Michael Norrish

NICTA

Australia

Nate Nystrom

University of Lugano

Robert O'Callahan

Mozilla Corporation

Rei Odaira

IBM Research - Tokyo

Guilherme Ottoni

Facebook

David Padua

University of Illinois at Urbana-Champaign

Jens Palsberg

University of California, Los Angeles

Mathias Payer

Purdue University

Liechtenstein

Keshav Pingali

University of Texas, Austin

Alex Potanin

Victoria University of Wellington

New Zealand

Shaz Qadeer

Microsoft Research

Xiaokang Qiu

MIT

Lawrence Rauchwerger

Texas A&M University

Behnam Robatmili

Qualcomm Research

Atanas Rountev

Ohio State University

Vijay Saraswat

IBM TJ Watson Research Center

Susmit Sarkar

University of St Andrews

Jennifer B. Sartor

Ghent University

Koushik Sen

University of California, Berkeley

Peter Sewell

University of Cambridge

Xipeng Shen

North Carolina State University

United States

Tatiana Shpeisman

Intel Labs

Jeremy G. Siek

Indiana University

Jeremy Singer

University of Glasgow

Yannis Smaragdakis

University of Athens

Armando Solar-Lezama

MIT

United States

Matthew Sottile

Galois, Inc.

Michael Spear

Lehigh University

Bjarne Steensgaard

Microsoft

Zhendong Su

University of California, Davis

United States

Peter Sweeney

IBM Research

Frank Tip

Samsung Research America

United States

Laurence Tratt

King's College London

Mandana Vaziri

IBM Research

Martin Vechev

ETH Zurich

T. N. Vijaykumar

Purdue University

Christian Wimmer

Oracle Labs

Tobias Wrigstad

Uppsala University

Thomas Wuerthinger

Oracle Labs

Jingling Xue

UNSW Australia

Eran Yahav

Technion