PriSC 2022
Sun 16 Jan 2022
Philadelphia, Pennsylvania, United States
co-located with
POPL 2022
Toggle navigation
Attending
Hotel: Westin Philadelphia
Program
Complete Program
Your Program
Sun 16 Jan
Track/Call
Organization
PriSC 2022 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
PriSC 2025
PriSC 2024
PriSC 2023
PriSC 2022
PriSC 2021
PriSC 2020
PriSC 2019
PriSC 2018
Sign in
Sign up
POPL 2022
(
series
) /
PriSC 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
POPL TutorialFest
at
Independence
Chair(s):
Ning Luo
09:00
60m
Tutorial
Program Analysis via Graph Reachability: Past, Present, and Future [Part A]
Remote
POPL TutorialFest
Thomas Reps
University of Wisconsin--Madison
10:20 - 11:50
Tutorials 2
POPL TutorialFest
at
Independence
Chair(s):
Ning Luo
10:20
90m
Tutorial
Program Analysis via Graph Reachability: Past, Present, and Future [Part B]
InPerson
POPL TutorialFest
Qirun Zhang
Georgia Institute of Technology
13:30 - 14:30
Tutorials 3
POPL TutorialFest
at
Independence
Chair(s):
Yuyang Sang
Yale University
13:30
60m
Tutorial
Formal Methods and Deep Learning [Part A]
Remote
POPL TutorialFest
Matthew Mirman
ETH Zurich
15:00 - 16:30
Tutorials 4
POPL TutorialFest
at
Independence
Chair(s):
Yuyang Sang
Yale University
15:00
90m
Tutorial
Formal Methods and Deep Learning [Part B]
InPerson
POPL 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
POPL 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
POPL 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
POPL 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
POPL 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 2022
at
Independence
Chair(s):
Jonathan Protzenko
Microsoft Research, Redmond
09:00
60m
Keynote
BPF and Spectre: Mitigating transient execution attacks
Remote
PriSC 2022
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 2022
at
Independence
Chair(s):
Jonathan Protzenko
Microsoft Research, Redmond
10:20
25m
Talk
Type-directed Program Transformation for Constant-Time Enforcement
Remote
PriSC 2022
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 2022
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 2022
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 2022
at
Independence
Chair(s):
Marco Guarnieri
IMDEA Software Institute
13:30 - 14:30
Keynote II
PriSC 2022
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 2022
Frank Piessens
KU Leuven
File Attached
15:05 - 16:20
Secure compilation theory
PriSC 2022
at
Independence
Chair(s):
Arthur Azevedo de Amorim
Boston University
15:05
25m
Talk
Composing Secure Compilers
Remote
PriSC 2022
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 2022
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 2022
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 2022
at
Independence
Chair(s):
Marco Guarnieri
IMDEA Software Institute
16:40
25m
Talk
A CompCert backend with symbolic encryption
Remote
PriSC 2022
Paolo Torrini
INRIA
,
Sylvain Boulmé
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
File Attached
17:05
25m
Talk
Effect-Oblivious Equivalence
Remote
PriSC 2022
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 2022
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
POPL TutorialFest
Tutorials 1
POPL TutorialFest
Tutorials 2
POPL TutorialFest
Tutorials 3
POPL 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
POPL 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
POPL Diversity, Equity and Inclusion
Junior Faculty Mentoring Breakfast
POPL Diversity, Equity and Inclusion
LGBTQ@POPL Lunch
Fri 21 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
Independence
POPL 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 2022
Keynote I
PriSC 2022
Attacks and defenses
PriSC 2022
Short talks
PriSC 2022
Keynote II
PriSC 2022
Secure compilation theory
PriSC 2022
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
Fri 8 Nov 23:59