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
) /
Artifact Evaluation
/
Artifact Evaluation Committee
POPL Artifact Evaluation
Pavel Panchekha
Artifact Evaluation Co-Chair
University of Utah
United States
Mukund Raghothaman
Artifact Evaluation Co-Chair
University of Southern California
United States
Joshua A. Bockenek
Virginia Tech
Kevin Batz
RWTH Aachen University
Heiko Becker
MPI-SWS
Germany
Tej Chajed
Massachusetts Institute of Technology, USA
United States
Yixuan Chen
Yale University, USA
Kyeongmin Cho
KAIST
South Korea
Joseph Eremondi
University of British Columbia
Canada
Aina Linn Georges
Aarhus University
Simon Oddershede Gregersen
Aarhus University
Denmark
Zheng Guo
University of California, San Diego
Shivam Handa
Massachusetts Institute of Technology, USA
Paul He
University of Pennsylvania
United States
Pinjia He
The Chinese University of Hong Kong, Shenzhen
China
Jonas Kastberg Hinrichsen
Aarhus University, Denmark
Denmark
David M. Kahn
Carnegie Mellon University
United States
Ryan Kavanagh
McGill University
Canada
Chaitanya S. Koparkar
Indiana University
United States
Rodolphe Lepigre
MPI-SWS
Germany
Yao Li
University of Pennsylvania
United States
Yuanbo Li
Georgia Institute of Technology
United States
Linghui Luo
Amazon Web Services
Germany
Roy Margalit
Tel Aviv University, Israel
Sidi Mohamed Beillahi
University of Toronto
Canada
Adithya Murali
University of Illinois at Urbana-Champaign
Hernán Ponce de León
Bundeswehr University Munich
Germany
Alex Renda
Massachusetts Institute of Technology
United States
Michael Sammler
MPI-SWS
Germany
Philipp Schröer
RWTH Aachen University
Qingkai Shi
Ant Group
China
Yahui Song
National University of Singapore
Singapore
Quang-Trung Ta
National University of Singapore
Aalok Thakkar
University of Pennsylvania
United States
Dominik Winterer
ETH Zurich
Switzerland
Yaoda Zhou
University of Hong Kong
Amy Zhu
University of Washington
United States
Daming Zou
ETH Zurich
Switzerland
x
Sat 21 Dec 12:36