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
Complete 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
) /
POPL Research Papers
/
Program Committee
POPL
Hongseok Yang
Program Chair
KAIST
South Korea
Michael D. Adams
University of Michigan
United States
Amal Ahmed
Northeastern University, USA
United States
Robert Atkey
University of Strathclyde
Sandrine Blazy
Univ Rennes, IRISA
France
David Broman
KTH
Sweden
Michael Carbin
Massachusetts Institute of Technology
United States
Alvin Cheung
University of California, Berkeley
Wei-Ngan Chin
National University of Singapore
Pierre Clairambault
CNRS & ENS Lyon
France
Christos Dimoulas
PLT @ Northwestern University
United States
Michael Emmi
Amazon Web Services
United States
Ronald Garcia
University of British Columbia
Radu Grigore
Facebook
United Kingdom
Ronghui Gu
Columbia University
United States
Matthew Hague
Royal Holloway University of London
United Kingdom
Kihong Heo
KAIST
South Korea
Ralf Hinze
Technische Universität Kaiserslautern
Jan Hoffmann
Carnegie Mellon University
United States
Justin Hsu
Cornell University
United States
Atsushi Igarashi
Kyoto University, Japan
Japan
Ranjit Jhala
University of California at San Diego
United States
Benjamin Lucien Kaminski
Saarland University and University College London
Germany
Shin-ya Katsumata
National Institute of Informatics
Japan
Alex Kavvos
University of Bristol
United Kingdom
Andrew Kennedy
Facebook London
United Kingdom
Neel Krishnaswami
University of Cambridge
United Kingdom
Ori Lahav
Tel Aviv University
Israel
Leonidas Lampropoulos
University of Maryland, College Park
Greece
Woosuk Lee
Hanyang University
South Korea
Hongjin Liang
Nanjing University
China
Anthony Widjaja Lin
TU Kaiserslautern; MPI-SWS
Germany
Fan Long
University of Toronto, Canada
P. Madhusudan
University of Illinois at Urbana-Champaign
United States
Kenneth L. McMillan
University of Texas at Austin
United States
J. Garrett Morris
The University of Iowa
United States
Koko Muroya
RIMS, Kyoto University
Japan
C.-H. Luke Ong
University of Oxford
United Kingdom
Pavel Panchekha
University of Utah
United States
Matthew J. Parkinson
Microsoft Research, UK
United Kingdom
François Pottier
Inria
France
Philipp Ruemmer
Uppsala University
Sweden
Chung-chieh Shan
Indiana University, USA
Filip Sieczkowski
University of Wrocław
Poland
Bas Spitters
Aarhus University
Denmark
Sam Staton
University of Oxford
Kohei Suenaga
Graduate School of Informatics, Kyoto University
Japan
Tachio Terauchi
Waseda University
Japan
Aditya V. Thakur
University of California at Davis
United States
Caterina Urban
Inria & École Normale Supérieure | Université PSL
France
Niki Vazou
IMDEA Software Institute
Dimitrios Vytiniotis
DeepMind
United Kingdom
John Wickerson
Imperial College London
United Kingdom
James R. Wilcox
Certora
United States
Nicolas Wu
Imperial College London
United Kingdom
Qirun Zhang
Georgia Institute of Technology
United States
x
Thu 10 Oct 03:05