Program Committee POPL

Suresh Jagannathan Program Chair

Purdue University

United States

Colin Gordon Associate Chair

Drexel University

United States

Laura Kovacs Associate Chair

Vienna University of Technology (TU Wien)

Austria

Robbert Krebbers Associate Chair

Radboud University Nijmegen

Netherlands

Sam Staton Associate Chair

University of Oxford

United Kingdom

Stephanie Weirich Associate Chair

University of Pennsylvania

United States

Matthew Amy Committee Member

Simon Fraser University

Canada

Patrick Bahr Committee Member

IT University of Copenhagen

Denmark

Stephanie Balzer Committee Member

Carnegie Mellon University

United States

Rose Bohrer Committee Member

Worcester Polytechnic Institute

Marco Campion Committee Member

INRIA & ENS Paris | Université PSL

France

Mila Dalla Preda Committee Member

University of Verona

Italy

Ornela Dardha Committee Member

University of Glasgow

United Kingdom

Valeria de Paiva Committee Member

Topos Institute

United States

Rayna Dimitrova Committee Member

CISPA, Germany

Germany

Paulo Emílio de Vilhena Committee Member

Imperial College London

Constantin Enea Committee Member

LIX, CNRS, Ecole Polytechnique

Nathanaël Fijalkow Committee Member

CNRS, LaBRI, and Alan Turing Institute

Zhoulai Fu Committee Member

State University of New York, Korea

Marco Gaboardi Committee Member

Boston University

United States

Sergey Goncharov Committee Member

School of Computer Science, University of Birmingham

United Kingdom

Arie Gurfinkel Committee Member

University of Waterloo

Canada

Matthew Hague Committee Member

Royal Holloway University of London

United Kingdom

Zhenjiang Hu Committee Member

Peking University

China

Eddie Jones Committee Member

University of Bristol

United Kingdom

Vikash K. Mansinghka Committee Member

Massachusetts Institute of Technology

United States

Jonas Kastberg Hinrichsen Committee Member

Aarhus University, Denmark

Denmark

Delia Kesner Committee Member

Université Paris Cité - CNRS - IRIF; Institut Universitaire de France

France

Michalis Kokologiannakis Committee Member

ETH Zurich

Switzerland

Ekaterina Komendantskaya Committee Member

Heriot-Watt University and Southampton University

United Kingdom

Ambroise Lafont Committee Member

Ecole Polytechnique

France

Ori Lahav Committee Member

Tel Aviv University

Israel

Wonyeol Lee Committee Member

POSTECH

South Korea

Kenji Maillard Committee Member

Inria

France

Chris Martens Committee Member

Northeastern University

United States

Christoph Matheja Committee Member

DTU

Denmark

Kayvan Memarian Committee Member

University of Cambridge

Markus Müller-Olm Committee Member

University of Münster

Germany

Adithya Murali Committee Member

University of Illinois at Urbana-Champaign

United States

Aleksandar Nanevski Committee Member

IMDEA Software Institute

Spain

Kim Nguyễn Committee Member

Université Paris-Saclay

France

Andreas Nuyts Committee Member

KU Leuven, Belgium

Belgium

Klaus Ostermann Committee Member

University of Tübingen

Germany

Michele Pagani Committee Member

IRIF - Université de Paris Cité

France

Lionel Parreaux Committee Member

HKUST (The Hong Kong University of Science and Technology)

Hong Kong SAR China

Marco Patrignani Committee Member

University of Trento

Italy

Andreas Podelski Committee Member

University of Freiburg

Germany

Daniel R. Licata Committee Member

Wesleyan University

United States

Paige Randall North Committee Member

Utrecht University

Corina S. Păsăreanu Committee Member

Carnegie Mellon University

United States

Ramanathan S. Thinniyam Committee Member

Uppsala University

Amr Sabry Committee Member

Indiana University

United States

Michael Sammler Committee Member

Institute of Science and Technology Austria

Austria

David Sanan Committee Member

Singapore Institute of Technology

Ryosuke Sato Committee Member

Tokyo University of Agriculture and Technology

Japan

Gabriel Scherer Committee Member

Université Paris Cité - Inria - CNRS

France

Shankaranarayanan Krishna Committee Member

IIT Bombay, India

Mahsa Shirmohammadi Committee Member

CNRS & IRIF, Paris

Filip Sieczkowski Committee Member

Heriot-Watt University

United Kingdom

Matthieu Sozeau Committee Member

Inria

France

Leo Stefanesco Committee Member

MPI-SWS

Germany

Éric Tanter Committee Member

University of Chile

Chile

Runzhou Tao Committee Member

Columbia University

United States

Joseph Tassarotti Committee Member

New York University

United States

Laura Titolo Committee Member

Code Metal

United States

Dmitriy Traytel Committee Member

University of Copenhagen

Denmark

Takeshi Tsukuda Committee Member

Chiba University

David Van Horn Committee Member

University of Maryland

United States

Marco Vassena Committee Member

Utrecht University

Netherlands

Mahesh Viswanathan Committee Member

University of Illinois at Urbana-Champaign

United States

Chao Wang Committee Member

University of Southern California

United States

Di Wang Committee Member

Peking University

China

Yuepeng Wang Committee Member

Simon Fraser University

Canada

Yuting Wang Committee Member

Shanghai Jiao Tong University

China

John Wickerson Committee Member

Imperial College London

United Kingdom

Théo Winterhalter Committee Member

INRIA

France

James Worrell Committee Member

University of Oxford

United Kingdom

Nicolas Wu Committee Member

Imperial College London

United Kingdom

Jeremy Yallop Committee Member

University of Cambridge

United Kingdom

Qianchuan Ye Committee Member

University at Buffalo, SUNY

United States

Nobuko Yoshida Committee Member

University of Oxford

United Kingdom

Qirun Zhang Committee Member

Georgia Institute of Technology

United States

Elena Zucca Committee Member

University of Genoa

Italy