POPL 2023
Sun 15 - Sat 21 January 2023
Boston, Massachusetts, United States
Toggle navigation
Attending
Venue: Boston Park Plaza
Tracks
POPL 2023
POPL
Artifact Evaluation
Student Research Competition
TutorialFest
Workshops and Co-located Events
Co-hosted Conferences
CPP
Workshops
PLMW @ POPL
Co-hosted Symposia
PADL
Organization
POPL 2023 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
Student Research Competition
TutorialFest
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
Workshops
PLMW @ POPL
Organizing Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2023
(
series
) /
CPP 2023 (
series
) /
CPP 2023
/
Program Committee
CPP
Brigitte Pientka
PC Chair
McGill University
Canada
Steve Zdancewic
PC Chair
University of Pennsylvania
United States
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST), Japan
Koen Claessen
Chalmers University of Technology, Sweden
Ranald Clouston
ANU
Leonardo de Moura
Microsoft Research, n.n.
Tej Chajed
VMware Research
United States
Xinyu Feng
Nanjing University
China
Denis Firsov
Tallinn University of Technology
Estonia
Yannick Forster
Inria
France
Milos Gligoric
University of Texas at Austin
United States
Stephane Graham-Lengrand
SRI
Elsa Gunter
University of Illinois
United States
Chris Hawblitzel
Microsoft Research
Chantal Keller
Université Paris Saclay
Marie Kerjean
CNRS, Université Sorbonne Paris Nord
France
Yoonseung Kim
Seoul National University (South Korea)
Kenji Maillard
Inria Nantes & University of Chile
César Muñoz
Amazon Web Services
Tobias Nipkow
Technische Universität München
Lawrence Paulson
University of Cambridge
United Kingdom
Anja Petković Komel
TU Wien, Vienna, Austria
Clément Pit-Claudel
EPFL / AWS
United States
Pierre-Marie Pédrot
INRIA
France
Christine Rizkallah
University of Melbourne
Australia
Cody Roux
Kazuhiko Sakaguchi
Anna Slobodova
Intel
Aaron Stump
The University of Iowa, USA
United States
René Thiemann
University of Innsbruck
Amin Timany
Aarhus University
Denmark
Josef Urban
Czech Technical University in Prague
Czech Republic
Viktor Vafeiadis
MPI-SWS
Germany
Yuting Wang
Shanghai Jiao Tong University
China
Tjark Weber
Uppsala University
Sweden
x
Wed 17 Aug 12:07