POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
  • Attending
    • Venue: Boston Park Plaza
    • Supporting POPL
    • Registration
    • Information for Students
    • Information for Presenters
    • Information for Virtual Attendees
    • Nearby Events
  • Program
    • Complete Program
    • Your Program
    • Filter by Day
      • Sun 15 Jan
      • Mon 16 Jan
      • Tue 17 Jan
      • Wed 18 Jan
      • Thu 19 Jan
      • Fri 20 Jan
      • Sat 21 Jan
  • Tracks
      • POPL 2023
      • POPL
      • Session Previews
      • Artifact Evaluation
      • Diversity, Equity and Inclusion
      • Student Research Competition
      • Student Volunteers
      • TutorialFest
      • Workshops and Co-located Events
      • Co-hosted Conferences
      • CPP
      • VMCAI
      • Workshops
      • CoqPL
      • LAFI
        • LAFI
        • - Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
      • PEPM
      • PLMW @ POPL
      • PriSC
      • ProLaLa
      • 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
      • VMCAI
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • CoqPL
        • Program Committee
      • LAFI
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PEPM
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW @ POPL
        • Organizing Committee
        • Speakers
        • Panelists
      • PriSC
        • Program Committee
        • Steering Committee
      • ProLaLa
        • Program 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

Australia

Leonardo de Moura

Leonardo de Moura

Microsoft Research

United States

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

United States

Elsa Gunter

Elsa Gunter

University of Illinois

United States

Chris Hawblitzel

Chris Hawblitzel

Microsoft Research

United States

small-avatar

Chantal Keller

Université Paris Saclay

France

Marie Kerjean

Marie Kerjean

CNRS, Université Sorbonne Paris Nord

France

Yoonseung Kim

Yoonseung Kim

Yale University

United States

small-avatar

Kenji Maillard

Inria Nantes

France

small-avatar

César Muñoz

Amazon Web Services

United States

Tobias Nipkow

Tobias Nipkow

Technische Universität München

Germany

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

AWS

United States

small-avatar

Kazuhiko Sakaguchi

Inria

France

small-avatar

Anna Slobodova

Intel

United States

Aaron Stump

Aaron Stump

University of Iowa

United States

René Thiemann

René Thiemann

University of Innsbruck

Austria

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 22 Mar 00:46

POPL 2023

contact form

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

Tracks

POPL
Session Previews
Artifact Evaluation
Diversity, Equity and Inclusion
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events

Co-hosted Conferences

CPP 2023
VMCAI 2023

Workshops

CoqPL 2023
LAFI 2023
PEPM 2023
PLMW @ POPL 2023
PriSC 2023
ProLaLa 2023

Co-hosted Symposia

PADL 2023

Attending

Venue: Boston Park Plaza
Supporting POPL
Registration
Information for Students
Information for Presenters
Information for Virtual Attendees
Nearby Events
Sign Up