External Review Committee PLDI Research Papers

Rajeev Alur

University of Pennsylvania

United States

Thomas Ball

Microsoft Research

United States

Osbert Bastani

University of Pennsylvania

United States

Swarnendu Biswas

IIT Kanpur

India

Eric Bodden

Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Marc Brockschmidt

Microsoft Research

United Kingdom

Ting Cao

Microsoft Research

China

Stephen Chang

Northeastern University

Shing-Chi Cheung

Department of Computer Science and Engineering, The Hong Kong University of Science and Technology

China

Stephen Chong

Harvard University, USA

Christina Delimitriou

Cornell University

United States

Chen Ding

University of Rochester

Yufei Ding

UCSB

China

Alexandra (Sasha) Fedorova

University of British Columbia

Canada

Aarti Gupta

Princeton University

Peter Hawkins

Google

Kihong Heo

University of Pennsylvania, USA

United States

Jeff Huang

Texas A&M University

Alexandra Jimborean

Uppsala University

Sweden

Mahmut Taylan Kandemir

Pennsylvania State University, USA

United States

Eric Koskinen

Stevens Institute of Technology

Lindsey Kuper

University of California, Santa Cruz

Doug Lea

State University of New York (SUNY) Oswego

United States

Ondřej Lhoták

University of Waterloo

Canada

Tongping Liu

Anil Madhavapeddy

OCaml Labs

United Kingdom

Michaël Marcozzi

Imperial College London

United Kingdom

Darko Marinov

University of Illinois at Urbana-Champaign

United States

Saurav Muralidharan

NVIDIA

Magnus O. Myreen

Chalmers University of Technology, Sweden

Sweden

Santosh Nagarakatte

Rutgers University, USA

United States

Mayur Naik

University of Pennsylvania

Michael F. P. O'Boyle

University of Edinburgh

Sreepathi Pai

University of Rochester

United States

Luís Pina

George Mason University

United States

Markus Püschel

ETH Zürich

Switzerland

Sriram Rajamani

Microsoft Research

Aseem Rastogi

Microsoft Research

India

Veselin Raychev

DeepCode AG

Roopsha Samanta

Purdue University

Chris Seaton

Oracle Labs

United Kingdom

Sharon Shoham

Tel Aviv university

Israel

Manu Sridharan

University of California, Riverside

United States

Ankur Taly

Google

Petar Tsankov

ETH Zurich / ChainSecurity

Switzerland

Laurent Vanbever

ETH Zürich

Switzerland

Thomas F. Wenisch

University of Michigan, USA

Minjia Zhang

Microsoft Research

United States

Qirun Zhang

Georgia Institute of Technology

United States

Xiangyu Zhang

Purdue University