POPL 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Supporting POPL
Code of Conduct
Tracks
POPL 2025
Artifact Evaluation
POPL
Student Volunteers
Tutorials
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
Dafny
LAFI
PEPM
PLMW @ POPL
PLanQC
PriSC
TPSA
WAW
WITS
Co-hosted Symposia
PADL
Organization
POPL 2025 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Artifact Evaluation
POPL
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
Dafny
Program Committee Chairs
Program Committee
Steering Committee Chairs
LAFI
Program Committee
Steering Committee
PEPM
Organizing Committee
Programme Committee
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
TPSA
Organizing Committee
WAW
Organizers
Program Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2025
(
series
) /
POPL Research Papers
/
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
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 | Université PSL
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
x
Mon 14 Oct 06:22