POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • 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

Brigitte Pientka PC Chair

McGill University

Canada

Steve Zdancewic

Steve Zdancewic PC Chair

University of Pennsylvania

United States

Reynald Affeldt

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

small-avatar

Koen Claessen

Chalmers University of Technology, Sweden

small-avatar

Ranald Clouston

ANU

Leonardo de Moura

Leonardo de Moura

Microsoft Research, n.n.

Tej Chajed

Tej Chajed

VMware Research

United States

Xinyu Feng

Xinyu Feng

Nanjing University

China

Denis Firsov

Denis Firsov

Tallinn University of Technology

Estonia

Yannick Forster

Yannick Forster

Inria

France

Milos Gligoric

Milos Gligoric

University of Texas at Austin

United States

small-avatar

Stephane Graham-Lengrand

SRI

Elsa Gunter

Elsa Gunter

University of Illinois

United States

Chris Hawblitzel

Chris Hawblitzel

Microsoft Research

small-avatar

Chantal Keller

Université Paris Saclay

small-avatar

Marie Kerjean

CNRS, Université Sorbonne Paris Nord

France

small-avatar

Yoonseung Kim

Seoul National University (South Korea)

small-avatar

Kenji Maillard

Inria Nantes & University of Chile

small-avatar

César Muñoz

Amazon Web Services

Tobias Nipkow

Tobias Nipkow

Technische Universität München

Lawrence Paulson

Lawrence Paulson

University of Cambridge

United Kingdom

Anja Petković Komel

Anja Petković Komel

TU Wien, Vienna, Austria

Clément Pit-Claudel

Clément Pit-Claudel

EPFL / AWS

United States

Pierre-Marie Pédrot

Pierre-Marie Pédrot

INRIA

France

Christine Rizkallah

Christine Rizkallah

University of Melbourne

Australia

Cody Roux

Cody Roux

small-avatar

Kazuhiko Sakaguchi

small-avatar

Anna Slobodova

Intel

Aaron Stump

Aaron Stump

The University of Iowa, USA

United States

René Thiemann

René Thiemann

University of Innsbruck

Amin Timany

Amin Timany

Aarhus University

Denmark

Josef Urban

Josef Urban

Czech Technical University in Prague

Czech Republic

Viktor Vafeiadis

Viktor Vafeiadis

MPI-SWS

Germany

Yuting Wang

Yuting Wang

Shanghai Jiao Tong University

China

Tjark Weber

Tjark Weber

Uppsala University

Sweden

xWed 17 Aug 12:07

POPL 2023

contact form

using conf.researchr.org (v1.56.0)
Support page

Tracks

POPL
Artifact Evaluation
Student Research Competition
TutorialFest
Workshops and Co-located Events

Co-hosted Conferences

CPP 2023

Workshops

PLMW @ POPL 2023

Co-hosted Symposia

PADL 2023

Attending

Venue: Boston Park Plaza
Sign Up