POPL 2022
Sun 16 - Fri 28 January 2022
Philadelphia, Pennsylvania, United States
Toggle navigation
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 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
) /
CPP 2022 (
series
) /
CPP 2022
/
Program Committee
CPP
Andrei Popescu
PC Chair
University of Sheffield
United Kingdom
Steve Zdancewic
PC Chair
University of Pennsylvania
United States
Mohammad Abdulaziz
Technische Universität München
Germany
Mauricio Ayala-Rincon
University of Brasília
Brazil
Andrej Bauer
University of Ljubljana
Slovenia
Thomas Bauereiss
University of Cambridge
Yves Bertot
INRIA
France
Lars Birkedal
Aarhus University
Sylvie Boldo
Inria and Université Paris-Saclay
France
Qinxiang Cao
Shanghai Jiao Tong University
China
Evelyne Contejean
Benjamin Delaware
Purdue University
United States
Simon Foster
University of York
United Kingdom
Alwyn Goodloe
NASA Langley Research Center
Armaël Guéneau
Aarhus University
John Harrison
Intel
Joe Hendrix
SRI International
Aquinas Hobor
Ralf Jung
MPI-SWS
Germany
Cezary Kaliszyk
University of Innsbruck
Jeehoon Kang
KAIST
South Korea
Hongjin Liang
Nanjing University
China
Gregory Malecha
BedRock Systems
United States
Toby Murray
University of Melbourne
Australia
Anders Mörtberg
Department of Mathematics, Stockholm University
Sweden
Zoe Paraskevopoulou
Northeastern University
United States
Brigitte Pientka
McGill University
Canada
Aseem Rastogi
Microsoft Research
India
Bas Spitters
Aarhus University
Denmark
Kathrin Stark
Princeton University, USA
United States
Hira Taqdees Syeda
Amazon Web Services
Germany
Joseph Tassarotti
Boston College
United States
Laura Titolo
NIA/NASA LaRC
United States
Sophie Tourret
Max Planck Institute for Informatics
Dmitriy Traytel
University of Copenhagen
Denmark
Freek Verbeek
Open University of the Netherlands, The Netherlands
Freek Wiedijk
Radboud University Nijmegen
Netherlands
Floris van Doorn
University of Pittsburgh
United States
x
Fri 13 Dec 04:27