Program Committee POPL

Armando Solar-Lezama PC Chair

Massachusetts Institute of Technology

United States

Zachary Kincaid Associate Chair

Princeton University

United States

Xavier Leroy Associate Chair

Collège de France

France

Ruzica Piskac Associate Chair

Yale University

United States

Nadia Polikarpova Associate Chair

University of California at San Diego

United States

Sharon Shoham Associate Chair

Tel Aviv University

Israel

Robert Atkey Committee Member

University of Strathclyde

Arthur Azevedo de Amorim Committee Member

Rochester Institute of Technology, USA

United States

Sorav Bansal Committee Member

IIT Delhi and CompilerAI Labs

India

Ryan Beckett Committee Member

Microsoft Research, USA

Filippo Bonchi Committee Member

University of Pisa

Italy

Oliver Bračevac Committee Member

EPFL, LAMP

Switzerland

Satish Chandra Committee Member

Google, Inc

United States

Sarah E. Chasins Committee Member

University of California at Berkeley

United States

Sheng Chen Committee Member

University of Louisiana at Lafayette

James Cheney Committee Member

University of Edinburgh

United Kingdom

Pierre Clairambault Committee Member

CNRS & LIS, Aix-Marseille Université

France

Adam Chlipala Committee Member

Massachusetts Institute of Technology

United States

Albert Cohen Committee Member

Google DeepMind

France

David Darais Committee Member

Galois

United States

Christos Dimoulas Committee Member

Northwestern University

United States

Michael Emmi Committee Member

Amazon Web Services

United States

Mohamed Faouzi Atig Committee Member

Uppsala University, Sweden

Sweden

Azadeh Farzan Committee Member

University of Toronto

Canada

Cormac Flanagan Committee Member

University of California at Santa Cruz

Jeffrey S. Foster Committee Member

Tufts University

United States

Timon Gehr Committee Member

ETH Zurich

Switzerland

Roberta Gori Committee Member

Diaprtimento di Informatica, Universita' di Pisa, Italy

Neville Grech Committee Member

Dedaub Limited

Malta

Philipp Haller Committee Member

KTH Royal Institute of Technology

Sweden

Jan Hoffmann Committee Member

Carnegie Mellon University

United States

Steven Holtzen Committee Member

Northeastern University

United States

Justin Hsu Committee Member

Cornell University

United States

Gowtham Kaki Committee Member

University of Colorado at Boulder

United States

Benjamin Lucien Kaminski Committee Member

Saarland University; University College London

Germany

Artem Khyzha Committee Member

Arm Ltd

United Kingdom

Fredrik Kjolstad Committee Member

Stanford University

United States

Hsiang-Shang ‘Josh’ Ko Committee Member

Institute of Information Science, Academia Sinica

Taiwan

Naoki Kobayashi Committee Member

University of Tokyo

Japan

Eric Koskinen Committee Member

Stevens Institute of Technology

United States

Leonidas Lampropoulos Committee Member

University of Maryland, College Park

Greece

Woosuk Lee Committee Member

Hanyang University

South Korea

Yao Li Committee Member

Portland State University

United States

P. Madhusudan Committee Member

University of Illinois at Urbana-Champaign

United States

Darko Marinov Committee Member

University of Illinois at Urbana-Champaign

United States

Roland Meyer Committee Member

TU Braunschweig

Germany

David Monniaux Committee Member

Université Grenoble Alpes - CNRS - Grenoble INP - Verimag

France

J. Garrett Morris Committee Member

University of Iowa

United States

Magnus O. Myreen Committee Member

Chalmers University of Technology

Hakjoo Oh Committee Member

Korea University

South Korea

Cyrus Omar Committee Member

University of Michigan

United States

Jens Palsberg Committee Member

University of California, Los Angeles (UCLA)

United States

Pavel Panchekha Committee Member

University of Utah

United States

Matthew J. Parkinson Committee Member

Microsoft Azure Research

United Kingdom

Frank Pfenning Committee Member

Carnegie Mellon University, USA

Lauren Pick Committee Member

UC Berkeley and UW-Madison

Clément Pit-Claudel Committee Member

EPFL

Switzerland

Shaz Qadeer Committee Member

Meta, Inc.

United States

Mukund Raghothaman Committee Member

University of Southern California

United States

Tahina Ramananandro Committee Member

Microsoft Research

United States

Xavier Rival Committee Member

Inria; ENS; CNRS; PSL University

France

Grigore Roşu Committee Member

University of Illinois at Urbana-Champaign

United States

Feras Saad Committee Member

Carnegie Mellon University

United States

José Fragoso Santos Committee Member

INESC-ID/Instituto Superior Técnico, Portugal

Chung-chieh Shan Committee Member

Indiana University

United States

Zhong Shao Committee Member

Yale University

United States

Tachio Terauchi Committee Member

Waseda University

Japan

Aditya V. Thakur Committee Member

University of California at Davis

United States

Caterina Urban Committee Member

Inria - École Normale Supérieure

France

Viktor Vafeiadis Committee Member

MPI-SWS

Germany

Matthijs Vákár Committee Member

Utrecht University

Gabriele Vanoni Committee Member

IRIF, Université Paris Cité

Vasco T. Vasconcelos Committee Member

LASIGE, University of Lisbon

Portugal

Margus Veanes Committee Member

Microsoft Research

Dimitrios Vytiniotis Committee Member

Google DeepMind

United Kingdom

Philip Wadler Committee Member

University of Edinburgh

Xinyu Wang Committee Member

University of Michigan

United States

Peisen Yao Committee Member

Zhejiang University

China

Mingsheng Ying Committee Member

Institute of Software at Chinese Academy of Sciences; Tsinghua University

China

Vladimir Zamdzhiev Committee Member

Inria

France

Danfeng Zhang Committee Member

Duke University

United States

Damien Zufferey Committee Member

SonarSource

Switzerland