POPL 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Tracks
POPL 2025
POPL
Workshops and Co-located Events
Co-hosted Conferences
CPP
Organization
POPL 2025 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Program Committee
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering 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
Sharon Shoham
Associate Chair
Tel Aviv University
Israel
Nadia Polikarpova
Associate Chair
University of California at San Diego
United States
Xavier Leroy
Associate Chair
Collège de France
France
Ruzica Piskac
Associate Chair
Yale University
United States
Roland Meyer
Committee Member
TU Braunschweig
Germany
Filippo Bonchi
Committee Member
University of Pisa
Italy
Peisen Yao
Committee Member
Zhejing University
China
Timon Gehr
Committee Member
ETH Zurich
Switzerland
Viktor Vafeiadis
Committee Member
MPI-SWS
Germany
Lauren Pick
Committee Member
UC Berkeley and UW-Madison
P. Madhusudan
Committee Member
University of Illinois at Urbana-Champaign
United States
Naoki Kobayashi
Committee Member
University of Tokyo
Japan
Vladimir Zamdzhiev
Committee Member
Inria
France
Feras Saad
Committee Member
Carnegie Mellon University
United States
Steven Holtzen
Committee Member
Northeastern University
United States
Danfeng Zhang
Committee Member
Duke University
United States
Artem Khyzha
Committee Member
Arm Ltd
United Kingdom
Zhong Shao
Committee Member
Yale University
United States
Cyrus Omar
Committee Member
University of Michigan
United States
Sheng Chen
Committee Member
University of Louisiana at Lafayette
Margus Veanes
Committee Member
Microsoft Research
Mingsheng Ying
Committee Member
Institute of Software at Chinese Academy of Sciences; Tsinghua University
China
Philip Wadler
Committee Member
University of Edinburgh
Pavel Panchekha
Committee Member
University of Utah
United States
David Darais
Committee Member
Galois
United States
Aditya V. Thakur
Committee Member
University of California at Davis
United States
Clément Pit-Claudel
Committee Member
EPFL
Switzerland
Albert Cohen
Committee Member
Google
France
Michael Emmi
Committee Member
Amazon Web Services
United States
Woosuk Lee
Committee Member
Hanyang University
South Korea
Jan Hoffmann
Committee Member
Carnegie Mellon University
United States
Magnus O. Myreen
Committee Member
Chalmers University of Technology
José Fragoso Santos
Committee Member
INESC-ID/Instituto Superior Técnico, Portugal
Arthur Azevedo de Amorim
Committee Member
Rochester Institute of Technology, USA
United States
Vasco T. Vasconcelos
Committee Member
LASIGE, University of Lisbon
Portugal
David Monniaux
Committee Member
Université Grenoble Alpes - CNRS - Grenoble INP - Verimag
France
Gowtham Kaki
Committee Member
University of Colorado at Boulder
United States
Caterina Urban
Committee Member
Inria & École Normale Supérieure | Université PSL
France
Damien Zufferey
Committee Member
SonarSource
Switzerland
Yao Li
Committee Member
Portland State University
United States
Satish Chandra
Committee Member
Google, Inc
United States
Pierre Clairambault
Committee Member
CNRS & LIS, Aix-Marseille Université
France
Darko Marinov
Committee Member
University of Illinois at Urbana-Champaign
United States
Philipp Haller
Committee Member
KTH Royal Institute of Technology
Sweden
Eric Koskinen
Committee Member
Stevens Institute of Technology
United States
Adam Chlipala
Committee Member
Massachusetts Institute of Technology
United States
Sarah E. Chasins
Committee Member
University of California at Berkeley
United States
Mohamed Faouzi Atig
Committee Member
Uppsala University, Sweden
Sweden
Mukund Raghothaman
Committee Member
University of Southern California
United States
James Cheney
Committee Member
University of Edinburgh
United Kingdom
Justin Hsu
Committee Member
Cornell University
United States
Chung-chieh Shan
Committee Member
Indiana University
United States
Jeffrey S. Foster
Committee Member
Tufts University
United States
Dimitrios Vytiniotis
Committee Member
Google DeepMind
United Kingdom
Christos Dimoulas
Committee Member
Northwestern University
United States
Xinyu Wang
Committee Member
University of Michigan
United States
Leonidas Lampropoulos
Committee Member
University of Maryland, College Park
Greece
Hakjoo Oh
Committee Member
Korea University
South Korea
Benjamin Lucien Kaminski
Committee Member
Saarland University; University College London
Germany
Matthew J. Parkinson
Committee Member
Microsoft Azure Research
United Kingdom
Xavier Rival
Committee Member
Inria; ENS; CNRS; PSL University
France
Neville Grech
Committee Member
Dedaub Limited
Malta
J. Garrett Morris
Committee Member
University of Iowa
United States
Hsiang-Shang ‘Josh’ Ko
Committee Member
Institute of Information Science, Academia Sinica
Taiwan
Shaz Qadeer
Committee Member
Meta, Inc.
United States
Grigore Roşu
Committee Member
University of Illinois at Urbana-Champaign
United States
Fredrik Kjolstad
Committee Member
Stanford University
United States
Roberta Gori
Committee Member
Diaprtimento di Informatica, Universita' di Pisa, Italy
Azadeh Farzan
Committee Member
University of Toronto
Canada
Robert Atkey
Committee Member
University of Strathclyde
x
Wed 26 Jun 08:50