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
) /
Westin Philadelphia
/
Room information: Independence
Venue
Westin Philadelphia
Room name
Independence
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
Tutorials 1
TutorialFest
at
Independence
Chair(s):
Ning Luo
09:00
60m
Tutorial
Program Analysis via Graph Reachability: Past, Present, and Future [Part A]
Remote
TutorialFest
Thomas Reps
University of Wisconsin--Madison
10:20 - 11:50
Tutorials 2
TutorialFest
at
Independence
Chair(s):
Ning Luo
10:20
90m
Tutorial
Program Analysis via Graph Reachability: Past, Present, and Future [Part B]
InPerson
TutorialFest
Qirun Zhang
Georgia Institute of Technology
13:30 - 14:30
Tutorials 3
TutorialFest
at
Independence
Chair(s):
Yuyang Sang
Yale University
13:30
60m
Tutorial
Formal Methods and Deep Learning [Part A]
Remote
TutorialFest
Matthew Mirman
ETH Zurich
15:00 - 16:30
Tutorials 4
TutorialFest
at
Independence
Chair(s):
Yuyang Sang
Yale University
15:00
90m
Tutorial
Formal Methods and Deep Learning [Part B]
InPerson
TutorialFest
Gagandeep Singh
University of Illinois at Urbana-Champaign; VMware
Tue 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
Morning 1
PLMW
at
Independence
Chair(s):
Robbert Krebbers
Radboud University Nijmegen
09:00
20m
Day opening
Welcome by POPL 2022 Program Chair
Remote
PLMW
Hongseok Yang
KAIST
09:25
35m
Talk
Automatically Synthesising Programs that We Can Trust
Remote
PLMW
Ilya Sergey
National University of Singapore
10:20 - 11:10
Morning 2
PLMW
at
Independence
Chair(s):
Paul Downen
University of Massachusetts Lowell
10:20
50m
Talk
You and Your Environment
In-person
PLMW
Talia Ringer
University of Illinois at Urbana-Champaign
11:10 - 12:00
Morning 3 (live only, no recording)
PLMW
at
Independence
Chair(s):
Stephanie Balzer
Carnegie Mellon University
11:10
50m
Panel
Panel (live only, no recording)
Hybrid
PLMW
François Pottier
Inria
,
Azadeh Farzan
University of Toronto
,
Henry DeYoung
CMU
,
Wen Kokke
University of Edinburgh
,
Stephanie Weirich
University of Pennsylvania
,
Ralf Jung
MPI-SWS
13:30 - 14:45
Afternoon 1
PLMW
at
Independence
Chair(s):
Stephanie Balzer
Carnegie Mellon University
13:30
35m
Talk
Implementing Languages for Fun and Profit
Remote
PLMW
Nicholas Matsakis
AWS
14:10
35m
Talk
Writing Valuable Papers
Remote
PLMW
Liam O'Connor
University of Edinburgh
15:05 - 16:20
Afternoon 2
PLMW
at
Independence
Chair(s):
Paul Downen
University of Massachusetts Lowell
15:05
35m
Talk
Proving and Programming
Remote
PLMW
Zena M. Ariola
University of Oregon
15:45
35m
Talk
Finding a research topic (or being found by a research topic?)
Remote
PLMW
Alexandra Silva
Cornell University
Wed 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
12:00 - 13:30
Women@POPL Lunch
Diversity, Equity and Inclusion
at
Independence
Only in person
Thu 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:00 - 09:00
Junior Faculty Mentoring Breakfast
Diversity, Equity and Inclusion
at
Independence
Chair(s):
Michael Hicks
University of Maryland at College Park
Only in person
12:00 - 13:30
LGBTQ@POPL Lunch
Diversity, Equity and Inclusion
at
Independence
Only in person
Fri 21 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
08:00 - 09:00
Graduating PhDs / Postdocs Mentoring Breakfast
Diversity, Equity and Inclusion
at
Independence
Chair(s):
Andrew Myers
Cornell University
Only in person
Sat 22 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:00
Keynote I
PriSC
at
Independence
Chair(s):
Jonathan Protzenko
Microsoft Research, Redmond
09:00
60m
Keynote
BPF and Spectre: Mitigating transient execution attacks
Remote
PriSC
Piotr Krysiuk
Symantec, Threat Hunter Team
,
Benedict Schlüter
Ruhr University Bochum
,
Daniel Borkmann
Isovalent
File Attached
10:20 - 11:35
Attacks and defenses
PriSC
at
Independence
Chair(s):
Jonathan Protzenko
Microsoft Research, Redmond
10:20
25m
Talk
Type-directed Program Transformation for Constant-Time Enforcement
Remote
PriSC
Gautier Raimondi
Inria
,
Frédéric Besson
Inria
,
Thomas P. Jensen
INRIA Rennes
File Attached
10:45
25m
Talk
Towards Understanding Spectre-PHT in Memory-Safe Languages
Remote
PriSC
Zirui Neil Zhao
University of Illinois at Urbana-Champaign
,
Fangfei Liu
Intel Corporation
,
Scott Constable
Intel Corporation
,
Carlos Rozas
Intel Corporation
11:10
25m
Talk
Synthesizing Evidence of Emergent Computation
Remote
PriSC
Scott Moore
Galois, Inc.
,
Jennifer Paykin
Galois, Inc.
,
Olivier Savary Bélanger
Galois, Inc.
Media Attached
File Attached
11:35 - 12:00
Short talks
PriSC
at
Independence
Chair(s):
Marco Guarnieri
IMDEA Software Institute
13:30 - 14:30
Keynote II
PriSC
at
Independence
Chair(s):
Marco Guarnieri
IMDEA Software Institute
13:30
60m
Keynote
Providing evidence for the security properties of hardware/software codesigns
Remote
PriSC
Frank Piessens
KU Leuven
File Attached
15:05 - 16:20
Secure compilation theory
PriSC
at
Independence
Chair(s):
Arthur Azevedo de Amorim
Boston University
15:05
25m
Talk
Composing Secure Compilers
Remote
PriSC
Matthis Kruse
CISPA Helmholtz Center for Information Security
,
Marco Patrignani
CISPA Helmholtz Center for Information Security / Stanford University
File Attached
15:30
25m
Talk
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Remote
PriSC
Akram El-Korashy
Max Planck Institute for Software Systems (MPI-SWS)
,
Roberto Blanco
Max Planck Institute for Security and Privacy (MPI-SP)
,
Jérémy Thibault
MPI-SP
,
Adrien Durier
Max Planck Institute for Security and Privacy (MPI-SP)
,
Cătălin Hriţcu
MPI-SP
,
Deepak Garg
MPI-SWS
Pre-print
Media Attached
File Attached
15:55
25m
Talk
The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly
Remote
PriSC
Carmine Abate
Max Planck Institute for Security and Privacy, Bochum, Germany
,
Matteo Busi
Università di Pisa - Dipartimento di Informatica
,
Stelios Tsampas
FAU Erlangen-Nuremberg, INF 8
DOI
Pre-print
File Attached
16:40 - 17:55
Secure systems
PriSC
at
Independence
Chair(s):
Marco Guarnieri
IMDEA Software Institute
16:40
25m
Talk
A CompCert backend with symbolic encryption
Remote
PriSC
Paolo Torrini
INRIA
,
Sylvain Boulmé
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
File Attached
17:05
25m
Talk
Effect-Oblivious Equivalence
Remote
PriSC
Yao Li
University of Pennsylvania
,
Stephanie Weirich
University of Pennsylvania
Pre-print
File Attached
17:30
25m
Talk
The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code
Remote
PriSC
Dominic Mulligan
Arm Research
,
Nick Spinale
Arm Research
File Attached
Mon 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Independence
TutorialFest
Tutorials 1
TutorialFest
Tutorials 2
TutorialFest
Tutorials 3
TutorialFest
Tutorials 4
Tue 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Independence
PLMW
Morning 1
PLMW
Morning 2
PLMW
Morning 3 (live only, no recording)
PLMW
Afternoon 1
PLMW
Afternoon 2
PLMW
Wed 19 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
30
13:00
30
Independence
Diversity, Equity and Inclusion
Women@POPL Lunch
Thu 20 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
Independence
Diversity, Equity and Inclusion
Junior Faculty Mentoring Breakfast
Diversity, Equity and Inclusion
LGBTQ@POPL Lunch
Fri 21 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
Independence
Diversity, Equity and Inclusion
Graduating PhDs / Postdocs Mentoring Breakfast
Sat 22 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Independence
PriSC
Keynote I
PriSC
Attacks and defenses
PriSC
Short talks
PriSC
Keynote II
PriSC
Secure compilation theory
PriSC
Secure systems
Mon 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Independence
POPL TutorialFest
Remote
Program Analysis via Graph Reachability: Past, Present, and Future [Part A]
09:00 - 10:00
POPL TutorialFest
InPerson
Program Analysis via Graph Reachability: Past, Present, and Future [Part B]
10:20 - 11:50
POPL TutorialFest
Remote
Formal Methods and Deep Learning [Part A]
13:30 - 14:30
POPL TutorialFest
InPerson
Formal Methods and Deep Learning [Part B]
15:00 - 16:30
Tue 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Independence
PLMW
Remote
Welcome by POPL 2022 Program Chair
09:00 - 09:20
PLMW
Remote
Automatically Synthesising Programs that We Can Trust
09:25 - 10:00
PLMW
In-person
You and Your Environment
10:20 - 11:10
PLMW
Hybrid
Panel (live only, no recording)
11:10 - 12:00
PLMW
Remote
Implementing Languages for Fun and Profit
13:30 - 14:05
PLMW
Remote
Writing Valuable Papers
14:10 - 14:45
PLMW
Remote
Proving and Programming
15:05 - 15:40
PLMW
Remote
Finding a research topic (or being found by a research topic?)
15:45 - 16:20
Sat 22 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Independence
PriSC
Remote
BPF and Spectre: Mitigating transient execution attacks
09:00 - 10:00
PriSC
Remote
Type-directed Program Transformation for Constant-Time Enforcement
10:20 - 10:45
PriSC
Remote
Towards Understanding Spectre-PHT in Memory-Safe Languages
10:45 - 11:10
PriSC
Remote
Synthesizing Evidence of Emergent Computation
11:10 - 11:35
PriSC
Remote
Providing evidence for the security properties of hardware/software cod ...
13:30 - 14:30
PriSC
Remote
Composing Secure Compilers
15:05 - 15:30
PriSC
Remote
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation ...
15:30 - 15:55
PriSC
Remote
The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation a ...
15:55 - 16:20
PriSC
Remote
A CompCert backend with symbolic encryption
16:40 - 17:05
PriSC
Remote
Effect-Oblivious Equivalence
17:05 - 17:30
PriSC
Remote
The Supervisionary proof-checking kernel, or: a work-in-progress toward ...
17:30 - 17:55
x
Mon 30 Dec 17:13