POPL 2022
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States
  • Attending
    • Hotel: Westin Philadelphia
    • Supporting POPL
    • Accessibility
    • Visa Information
    • Registration
  • Program
    • POPL Program
    • Your Program
    • Filter by Day
      • Sun 16 Jan
      • Mon 17 Jan
      • Tue 18 Jan
      • Wed 19 Jan
      • Thu 20 Jan
      • Fri 21 Jan
      • Sat 22 Jan
      • Sun 23 Jan
      • Mon 24 Jan
      • Tue 25 Jan
      • Wed 26 Jan
      • Thu 27 Jan
      • Fri 28 Jan
  • Tracks
      • POPL 2022
      • POPL
      • Student Research Competition
      • Student Volunteers
      • TutorialFest
      • Artifact Evaluation
      • Workshops and Co-located Events
      • Virtual Workshop
      • Diversity, Equity and Inclusion
      • Co-hosted Conferences
      • CPP
      • VMCAI
        • VMCAI
        • - Back to the Future: A Fresh Look at Linear Temporal Logic
        • - Sequential Information Flow
        • - Simplifying Concurrent Programming via Synchronization Synthesis
      • Workshops
      • CoqPL
      • LAFI
      • PEPM
      • PLMW
      • PriSC
      • ProLaLa Programming Languages and the Law
      • WITS
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2022 Committees
      • Organizing Committee
      • Track Committees
      • POPL
      • Student Research Competition
      • TutorialFest
      • Artifact Evaluation
      • Virtual Workshop
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Organization Committee
        • Program Committee
        • Steering Committee
      • VMCAI
        • Organizing Committee
        • Program Committee
        • Artifact Evaluation Committee
      • Workshops
      • CoqPL
        • Invited speaker
        • Organizing Committee
        • Program Committee
      • LAFI
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PEPM
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • PLMW
        • Organizing Committee
        • Invited speakers
        • Panelists
      • PriSC
        • Program Committee
        • Steering Committee
      • ProLaLa
        • Program Committee
      • WITS
        • Program Committee
      • Co-hosted Symposia
      • PADL
        • Programme Chairs
        • Programme Committee
  • Search
  • Series
    • Series
    • POPL 2026
    • 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 2022 (series) / POPL Research Papers /

Program Committee POPL

Hongseok Yang

Hongseok Yang Program Chair

KAIST

South Korea

Michael D. Adams

Michael D. Adams

University of Michigan

United States

Amal Ahmed

Amal Ahmed

Northeastern University, USA

United States

Robert Atkey

Robert Atkey

University of Strathclyde

Sandrine Blazy

Sandrine Blazy

Univ Rennes, IRISA

France

David Broman

David Broman

KTH

Sweden

Michael Carbin

Michael Carbin

Massachusetts Institute of Technology

United States

Alvin Cheung

Alvin Cheung

University of California, Berkeley

small-avatar

Wei-Ngan Chin

National University of Singapore

Pierre Clairambault

Pierre Clairambault

CNRS & ENS Lyon

France

Christos Dimoulas

Christos Dimoulas

PLT @ Northwestern University

United States

small-avatar

Michael Emmi

Amazon Web Services

United States

Ronald Garcia

Ronald Garcia

University of British Columbia

Radu Grigore

Radu Grigore

Facebook

United Kingdom

Ronghui Gu

Ronghui Gu

Columbia University

United States

Matthew Hague

Matthew Hague

Royal Holloway University of London

United Kingdom

Kihong Heo

Kihong Heo

KAIST

South Korea

Ralf Hinze

Ralf Hinze

Technische Universität Kaiserslautern

Jan Hoffmann

Jan Hoffmann

Carnegie Mellon University

United States

Justin Hsu

Justin Hsu

Cornell University

United States

Atsushi Igarashi

Atsushi Igarashi

Kyoto University, Japan

Japan

Ranjit Jhala

Ranjit Jhala

University of California at San Diego

United States

Benjamin Lucien Kaminski

Benjamin Lucien Kaminski

Saarland University and University College London

Germany

Shin-ya Katsumata

Shin-ya Katsumata

National Institute of Informatics

Japan

Alex Kavvos

Alex Kavvos

University of Bristol

United Kingdom

small-avatar

Andrew Kennedy

Facebook London

United Kingdom

Neel Krishnaswami

Neel Krishnaswami

University of Cambridge

United Kingdom

Ori Lahav

Ori Lahav

Tel Aviv University

Israel

Leonidas Lampropoulos

Leonidas Lampropoulos

University of Maryland, College Park

Greece

Woosuk Lee

Woosuk Lee

Hanyang University

South Korea

Hongjin Liang

Hongjin Liang

Nanjing University

China

Anthony Widjaja Lin

Anthony Widjaja Lin

TU Kaiserslautern; MPI-SWS

Germany

Fan Long

Fan Long

University of Toronto, Canada

P. Madhusudan

P. Madhusudan

University of Illinois at Urbana-Champaign

United States

small-avatar

Kenneth L. McMillan

University of Texas at Austin

United States

J. Garrett Morris

J. Garrett Morris

The University of Iowa

United States

Koko Muroya

Koko Muroya

RIMS, Kyoto University

Japan

C.-H. Luke Ong

C.-H. Luke Ong

University of Oxford

United Kingdom

Pavel Panchekha

Pavel Panchekha

University of Utah

United States

Matthew J. Parkinson

Matthew J. Parkinson

Microsoft Research, UK

United Kingdom

François Pottier

François Pottier

Inria

France

Philipp Ruemmer

Philipp Ruemmer

Uppsala University

Sweden

Chung-chieh Shan

Chung-chieh Shan

Indiana University, USA

Filip Sieczkowski

Filip Sieczkowski

University of Wrocław

Poland

Bas Spitters

Bas Spitters

Aarhus University

Denmark

small-avatar

Sam Staton

University of Oxford

Kohei Suenaga

Kohei Suenaga

Graduate School of Informatics, Kyoto University

Japan

Tachio Terauchi

Tachio Terauchi

Waseda University

Japan

Aditya V. Thakur

Aditya V. Thakur

University of California at Davis

United States

Caterina Urban

Caterina Urban

Inria & École Normale Supérieure | Université PSL

France

Niki Vazou

Niki Vazou

IMDEA Software Institute

Dimitrios Vytiniotis

Dimitrios Vytiniotis

DeepMind

United Kingdom

John Wickerson

John Wickerson

Imperial College London

United Kingdom

James R. Wilcox

James R. Wilcox

Certora

United States

Nicolas Wu

Nicolas Wu

Imperial College London

United Kingdom

Qirun Zhang

Qirun Zhang

Georgia Institute of Technology

United States

xSun 25 May 10:05

POPL 2022

contact form

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

Tracks

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

Co-hosted Conferences

CPP 2022
VMCAI 2022

Workshops

CoqPL 2022
LAFI 2022
PEPM 2022
PLMW 2022
PriSC 2022
ProLaLa 2022
WITS 2022

Co-hosted Symposia

PADL 2022

Attending

Hotel: Westin Philadelphia
Supporting POPL
Accessibility
Visa Information
Registration
Sign Up