Program Committee POPL

Derek Dreyer Program Chair

MPI-SWS

Germany

Alastair F. Donaldson Associate Chair

Imperial College London

United Kingdom

Alexandra Silva Associate Chair

Cornell University

United States

Emina Torlak Associate Chair

Amazon Web Services, USA

United States

Steve Zdancewic Associate Chair

University of Pennsylvania

United States

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Alejandro Aguirre

Aarhus University

Denmark

Alexey Gotsman

IMDEA Software Institute

Spain

Amin Timany

Aarhus University

Denmark

Andreas Pavlogiannis

Aarhus University

Denmark

Andrei Popescu

University of Sheffield

United Kingdom

Andrew K. Hirsch

University at Buffalo, SUNY

United States

Andrew M. Pitts

University of Cambridge

Andrew W. Appel

Princeton University

Ankush Das

Amazon

United States

Anton Podkopaev

JetBrains Research, Constructor University

Netherlands

Arjun Radhakrishna

Microsoft

United States

Assia Mahboubi

INRIA

France

Aws Albarghouthi

University of Wisconsin-Madison

United States

Aymeric Fromherz

Inria

France

Ben L. Titzer

Carnegie Mellon University

United States

Bernd Finkbeiner

CISPA Helmholtz Center for Information Security

Germany

Cameron Freer

Massachusetts Institute of Technology

United States

Carla Ferreira

NOVA University Lisbon

Portugal

Carlo Angiuli

Indiana University

United States

Casper Bach Poulsen

Delft University of Technology

Netherlands

Cătălin Hriţcu

MPI-SP

Germany

Christine Rizkallah

University of Melbourne

Australia

Colin Gordon

Drexel University

United States

Dariusz Biernacki

University of Wrocław

Poland

Denis Merigoux

INRIA

France

Dominique Devriese

KU Leuven

Belgium

Emanuele D’Osualdo

MPI-SWS

Germany

Francesco Gavazzo

University of Pisa, Italy

Italy

Fraser Brown

CMU

Fritz Henglein

Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital

Denmark

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

Georg Zetzsche

MPI-SWS

Germany

Gregory Malecha

BedRock Systems

United States

Guilhem Jaber

Nantes Université

France

Hila Peleg

Technion

Israel

Hiroshi Unno

University of Tsukuba

Japan

James Riely

DePaul University

United States

Jean Pichon-Pharabod

Aarhus University

Denmark

Jeehoon Kang

KAIST

South Korea

Jennifer Paykin

Intel Labs

United States

Jeremy G. Siek

Indiana University, USA

United States

Jonathan Immanuel Brachthäuser

University of Tübingen

Germany

Jonathan Protzenko

Microsoft Research, Redmond

United States

Jules Villard

Meta

United Kingdom

Kathrin Stark

Heriot-Watt University

United Kingdom

KC Sivaramakrishnan

IIT Madras and Tarides

India

Kristina Sojakova

Inria

France

Kuen-Bang Hou (Favonia)

University of Minnesota

United States

Limin Jia

Carnegie Mellon University

Mae Milano

University of California at Berkeley

United States

Max New

University of Michigan

Max Willsey

University of California, Berkeley

United States

Michael Hicks

Amazon Web Services and the University of Maryland

United States

Neil Julien Ross

Dalhousie University

Canada

Nick Benton

Meta

United Kingdom

Nikos Tzevelekos

Queen Mary University of London

United Kingdom

Peter Müller

ETH Zurich

Switzerland

Peter Sewell

University of Cambridge

United Kingdom

Pierre-Marie Pédrot

INRIA

France

Roberto Giacobazzi

University of Arizona

United States

Rodolphe Lepigre

BedRock Systems

Germany

Ronald Garcia

University of British Columbia

Canada

Satnam Singh

Groq

United States

Simon Peyton Jones

Epic Games

United Kingdom

Soham Chakraborty

TU Delft

Netherlands

Sophia Drossopoulou

Imperial College London

United Kingdom

Sriram Rajamani

Microsoft Research

Stefan K. Muller

Illinois Institute of Technology

United States

Stephen Dolan

Jane Street

Steven Ramsay

University of Bristol

United Kingdom

Suguman Bansal

Georgia Institute of Technology, USA

United States

Sukyoung Ryu

KAIST

South Korea

Susmit Sarkar

University of St. Andrews

Talia Ringer

University of Illinois at Urbana-Champaign

United States

Thomas Reps

University of Wisconsin-Madison

United States

Thomas Wies

New York University

United States

Tiark Rompf

Purdue University

United States

Ulf Norell

Gothenburg University

Sweden

William Mansky

University of Illinois Chicago

United States

Xiaodi Wu

University of Maryland

United States

Xiaokang Qiu

Purdue University

United States

Xinyu Feng

Nanjing University & Huawei

China

Yannick Zakowski

Inria

France

Yizhou Zhang

University of Waterloo

Canada

Zachary Kincaid

Princeton University

United States