Program Committee POPL

Amal Ahmed Program Chair

Northeastern University, USA

United States

Robby Findler Associate Chair

Northwestern University, USA

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

Massachusetts Institute of Technology, USA

United States

Arthur Charguéraud

Inria

France

Loris D'Antoni

University of Wisconsin-Madison, USA

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

United Kingdom

Richard A. Eisenberg

Tweag

France

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

Universersité Paris Saclay, CNRS, LRI

France

Ralf Jung

MPI-SWS

Germany

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

Dan Licata

Wesleyan University

United States

Matteo Maffei

TU Wien

Isabella Mastroeni

University of Verona, Italy

Italy

Christoph Matheja

Technical University of Denmark

Denmark

Umang Mathur

National University of Singapore

Singapore

Todd Millstein

University of California at Los Angeles

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

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

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

MIT / AWS

United States

Andreas Podelski

University of Freiburg, Germany

Germany

Nadia Polikarpova

University of California at San Diego

United States

Damien Pous

CNRS

Christopher Pulte

University of Cambridge, UK

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

Deian Stefan

University of California at San Diego

United States

Jonathan Sterling

Aarhus University

Denmark

Aaron Stump

The University of Iowa, USA

United States

Eijiro Sumii

Tohoku University

Japan

Nicolas Tabareau

Inria

France

Éric Tanter

University of Chile

Joseph Tassarotti

Boston College

United States

Sam Tobin-Hochstadt

Indiana University

Andrew Tolmach

Portland State University

David Walker

Princeton University

United States

Conrad Watt

University of Cambridge

United Kingdom

Théo Winterhalter

MPI-SP

Germany

Ningning Xie

University of Cambridge

United Kingdom

Francesco Zappa Nardelli

Meta

France

Elena Zucca

University of Genova