Program Committee POPL

Amal Ahmed Program Chair

Northeastern University, USA

United States

Robert Bruce Findler Associate Chair

Northwestern University

United States

Deepak Garg Associate Chair

MPI-SWS

Germany

François Pottier Associate Chair

Inria

France

Andreas Abel

Gothenburg University

Sweden

Nada Amin

Harvard University

United States

Stephanie Balzer

Carnegie Mellon University

United States

Josh Berdine

Meta

United Kingdom

Karthikeyan Bhargavan

Inria, France

Giuseppe Castagna

CNRS; Université de Paris

France

Tej Chajed

VMware Research

United States

Arthur Charguéraud

Inria; Université de Strasbourg; CNRS; ICube

France

Koen Claessen

Chalmers University of Technology

Sweden

Loris D'Antoni

University of Wisconsin-Madison

United States

Ugo Dal Lago

University of Bologna; Inria

Italy

Mila Dalla Preda

University of Verona

Italy

Ornela Dardha

University of Glasgow

United Kingdom

Benjamin Delaware

Purdue University

United States

Alastair F. Donaldson

Imperial College London; Google

United Kingdom

Richard A. Eisenberg

Jane Street

United States

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Michael Greenberg

Stevens Institute of Technology

United States

Ichiro Hasuo

National Institute of Informatics, Japan

Japan

Hugo Herbelin

Inria

Zhenjiang Hu

Peking University

China

Suresh Jagannathan

Purdue University

United States

Alan Jeffrey

Roblox

United States

Patricia Johann

Appalachian State University

Jacques-Henri Jourdan

CNR, LMF

France

Ralf Jung

ETH Zürich

Switzerland

Ohad Kammar

University of Edinburgh

United Kingdom

Joost-Pieter Katoen

RWTH Aachen University

Germany

Ekaterina Komendantskaya

Heriot-Watt University, UK

Laura Kovacs

Vienna University of Technology (TU Wien)

Austria

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Lindsey Kuper

University of California at Santa Cruz

Akash Lal

Microsoft Research

Xavier Leroy

Collège de France

France

Mohsen Lesani

University of California at Riverside

Daniel R. Licata

Wesleyan University

United States

Matteo Maffei

TU Wien

Isabella Mastroeni

University of Verona, Italy

Italy

Christoph Matheja

DTU

Denmark

Umang Mathur

National University of Singapore

Singapore

Todd Millstein

University of California at Los Angeles

United States

Andrzej Murawski

University of Oxford

United Kingdom

Santosh Nagarakatte

Rutgers University

United States

Aleksandar Nanevski

IMDEA Software Institute

Spain

David Naumann

Stevens Institute of Technology

United States

Dominic Orchard

University of Kent, UK

United Kingdom

Klaus Ostermann

University of Tübingen

Oded Padon

VMware Research

United States

Michele Pagani

IRIF - Université de Paris Cité

France

Marco Patrignani

University of Trento

Italy

David Pichardie

Meta

France

Brigitte Pientka

McGill University

Canada

Benjamin C. Pierce

University of Pennsylvania

United States

Clément Pit-Claudel

EPFL

Switzerland

Andreas Podelski

University of Freiburg

Germany

Nadia Polikarpova

University of California at San Diego

United States

Damien Pous

CNRS

Christopher Pulte

University of Cambridge

United Kingdom

Corina S. Păsăreanu

Carnegie Mellon University

United States

Azalea Raad

Imperial College London

United Kingdom

Robert Rand

University of Chicago

United States

Noam Rinetzky

Tel Aviv University

Israel

Amr Sabry

Indiana University

United States

Malavika Samak

CSAIL, MIT

United States

Taro Sekiyama

National Institute of Informatics

Japan

Jonathan Sterling

Aarhus University

Denmark

Aaron Stump

University of Iowa

United States

Eijiro Sumii

Tohoku University

Japan

Nicolas Tabareau

Inria

France

Éric Tanter

University of Chile

Joseph Tassarotti

NYU

United States

Sam Tobin-Hochstadt

Indiana University

Andrew Tolmach

Portland State University

United States

Marco Vassena

Utrecht University

Netherlands

David Walker

Princeton University

United States

Conrad Watt

University of Cambridge

United Kingdom

Théo Winterhalter

INRIA Saclay

France

Ningning Xie

University of Toronto

Canada

Francesco Zappa Nardelli

Meta

France

Elena Zucca

University of Genoa

Italy