Program Committee POPL

Azadeh Farzan PC Chair

University of Toronto

Canada

Parosh Aziz Abdulla

Uppsala University, Sweden

Umut A. Acar

Carnegie Mellon University

Nada Amin

Harvard University

United States

Mohamed Faouzi Atig

Uppsala University, Sweden

Mark Batty

University of Kent

United Kingdom

Josh Berdine

Facebook

Annette Bieniusa

Technische Universität Kaiserslautern

Germany

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

William J. Bowman

University of British Columbia

Canada

Pavol Cerny

TU Wien

Austria

Sheng Chen

University of Louisiana at Lafayette

Adam Chlipala

Massachusetts Institute of Technology

United States

Ravi Chugh

University of Chicago

Loris D'Antoni

University of Wisconsin-Madison, USA

Marco Gaboardi

Boston University

United States

Pierre Ganty

IMDEA Software Institute, Spain

Deepak Garg

Max Planck Institute for Software Systems

Germany

Laure Gonnord

University of Lyon & LIP, France

France

Ichiro Hasuo

National Institute of Informatics, Japan

Japan

Matthias Heizmann

University of Freiburg, Germany

Germany

Bart Jacobs

imec-DistriNet, Dept. CS, KU Leuven

Belgium

Somesh Jha

University of Wisconsin, Madison

United States

Jeehoon Kang

KAIST

South Korea

Zachary Kincaid

Princeton University, USA

Naoki Kobayashi

University of Tokyo, Japan

Japan

Laura Kovacs

Vienna University of Technology (TU Wien)

Austria

Dexter Kozen

Cornell University

United States

Rupak Majumdar

MPI-SWS

Luc Maranget

Inria Paris

France

Roland Meyer

TU Braunschweig

David Monniaux

Grenoble Alps University / CNRS / Grenoble INP / VERIMAG

Kedar Namjoshi

Nokia Bell Labs

United States

Andreas Pavlogiannis

Aarhus University

Denmark

Simon Peyton Jones

Microsoft, UK

Frank Pfenning

Carnegie Mellon University, USA

Nadia Polikarpova

University of California at San Diego

Arjun Radhakrishna

Microsoft

Aseem Rastogi

Microsoft Research

India

Sriram Sankaranarayanan

University of Colorado, Boulder

United States

Alan Schmitt

Inria

France

Taro Sekiyama

National Institute of Informatics

Japan

Zhong Shao

Yale University

Rahul Sharma

Microsoft Research

Rishabh Singh

Google Brain

United States

Ana Sokolova

University of Salzburg

Austria

Matthieu Sozeau

Inria

France

Viktor Vafeiadis

MPI-SWS

Germany

David Van Horn

University of Maryland, USA

United States

Nobuko Yoshida

Imperial College London

Santiago Zanella-Béguelin

Microsoft Research, Cambridge

United Kingdom

Damien Zufferey

MPI-SWS