Program Committee POPL Research Papers

Andrew Myers Program Chair

Cornell University

United States

Thorsten Altenkirch Committee Member

University of Nottingham

Nada Amin Committee Member

University of Cambridge

United Kingdom

Gilles Barthe Committee Member

IMDEA Software Institute

Mark Batty Committee Member

University of Kent

United Kingdom

Lars Birkedal Committee Member

Aarhus University

Pavol Cerny Committee Member

University of Colorado Boulder

Slovakia

James Cheney Committee Member

University of Edinburgh, UK

United States

Koen Claessen Committee Member

Chalmers University of Technology

William Cook Committee Member

University of Texas at Austin

Karl Crary Committee Member

Carnegie Mellon University

Loris D'Antoni Committee Member

University of Wisconsin–Madison

Italy

Mila Dalla Preda Committee Member

University of Verona, Italy

Işil Dillig Committee Member

UT Austin

Sophia Drossopoulou Committee Member

Constantin Enea Committee Member

Université Paris Diderot

France

Azadeh Farzan Committee Member

University of Toronto

Canada

Xinyu Feng Committee Member

University of Science and Technology of China

China

Atsushi Igarashi Committee Member

Kyoto University, Japan

Japan

Laura Kovacs Committee Member

Chalmers University of Technology

Neel Krishnaswami Committee Member

Computer Laboratory, University of Cambridge

Sorin Lerner Committee Member

University of California, San Diego

Xavier Leroy Committee Member

Inria

Conor McBride Committee Member

Mira Mezini Committee Member

TU Darmstadt

Germany

Matthew Might Committee Member

University of Utah, USA

United States

Peter Müller Committee Member

ETH Zurich

Switzerland

Santosh Nagarakatte Committee Member

Rutgers University, USA

United States

Aleksandar Nanevski Committee Member

IMDEA Software Institute

Spain

Klaus Ostermann Committee Member

University of Tuebingen

Germany

Ruzica Piskac Committee Member

Yale University

Nadia Polikarpova Committee Member

University of California, San Diego

United States

Zvonimir Rakamaric Committee Member

University of Utah

United States

Aseem Rastogi Committee Member

Microsoft Research

India

Grigore Roşu Committee Member

University of Illinois at Urbana-Champaign

United States

Andrey Rybalchenko Committee Member

Microsoft Research

United Kingdom

Amr Sabry Committee Member

Indiana University

Egypt

Dave Sands Committee Member

Chalmers University of Technology

Davide Sangiorgi Committee Member

University of Bologna

Peter Sewell Committee Member

University of Cambridge

Zhong Shao Committee Member

Yale University

Yannis Smaragdakis Committee Member

University of Athens

Zhendong Su Committee Member

University of California, Davis

United States

Éric Tanter Committee Member

University of Chile

Chile

Zachary Tatlock Committee Member

University of Washington, Seattle

United States

Tachio Terauchi Committee Member

Waseda University

Viktor Vafeiadis Committee Member

MPI-SWS, Germany

Greece

Philip Wadler Committee Member

University of Edinburgh, UK

United Kingdom

David Walker Committee Member

Princeton University

United States

Stephanie Weirich Committee Member

University of Pennsylvania, USA

United States

Jean Yang Committee Member

Carnegie Mellon University

Danfeng Zhang Committee Member

Pennsylvania State University

United States