External Reviewing Committee POPL Research Papers

Umut A. Acar

Carnegie Mellon University

Turkey

Mohamed Faouzi Atig

Uppsala University

Sweden

Nick Benton

Microsoft Research, Cambridge

Pavol Cerny

University of Colorado Boulder

Slovakia

Supratik Chakraborty

IIT Bombay

Krishnendu Chatterjee

IST Austria

Avik Chaudhuri

Facebook

United States

Stephen Chong

Harvard University

Loris D'Antoni

University of Pennsylvania

Işıl Dillig

University of Texas, Austin

Turkey

Derek Dreyer

MPI-SWS

Michael Emmi

IMDEA Software Institute

Azadeh Farzan

University of Toronto

Iran

Jeffrey S. Foster

University of Maryland at College Park, USA

Nate Foster

Cornell University

Vijay Ganesh

University of Waterloo

India

Roberto Giacobazzi

University of Verona, Italy

Andrew D. Gordon

Microsoft Research and University of Edinburgh

United Kingdom

Arjun Guha

University of Massachusetts, Amherst

Sumit Gulwani

Microsoft Research

India

Joxan Jaffar

National University of Singapore

Patricia Johann

Appalachian State University

Christoph Kirsch

University of Salzburg

Eric Koskinen

Yale University

Daniel Kroening

University of Oxford

K Narayan Kumar

Chennai Mathematical Institute

Lindsey Kuper

Intel Labs

Sorin Lerner

University of California, San Diego

Peter Müller

ETH Zurich

Mayur Naik

Georgia Tech

Tobias Nipkow

Technische Universität München

Jens Palsberg

University of California, Los Angeles

Brigitte Pientka

McGill University

Andrew M. Pitts

University of Cambridge

Maurizio Proietti

Sylvie Putot

École Polytechnique

Xiaokang Qiu

MIT

Koushik Sen

University of California, Berkeley

Zhong Shao

Yale University

China

Rahul Sharma

Stanford University

Elaine Shi

University of Maryland, College Park

Rishabh Singh

Microsoft Research

India

Yannis Smaragdakis

University of Athens

Zachary Tatlock

University of Washington, Seattle

United States

Tachio Terauchi

JAIST

Japan

Peter Thiemann

University of Freiburg

Germany

David Van Horn

University of Maryland, College Park

Guy Van den Broeck

KU Leuven

Martin Vechev

ETH Zurich

Bulgaria

Thomas Wies

New York University

United States