VenueWestin Philadelphia
Room nameIndependence
Room InformationNo extra information available
Program

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 1TutorialFest 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 2TutorialFest 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 3TutorialFest 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 4TutorialFest 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 1PLMW at Independence
Chair(s): Robbert Krebbers Radboud University Nijmegen
09:00
20m
Day opening
Welcome by POPL 2022 Program ChairRemote
PLMW
09:25
35m
Talk
Automatically Synthesising Programs that We Can TrustRemote
PLMW
Ilya Sergey National University of Singapore
10:20 - 11:10
Morning 2PLMW at Independence
Chair(s): Paul Downen University of Massachusetts Lowell
10:20
50m
Talk
You and Your EnvironmentIn-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 1PLMW at Independence
Chair(s): Stephanie Balzer Carnegie Mellon University
13:30
35m
Talk
Implementing Languages for Fun and ProfitRemote
PLMW
14:10
35m
Talk
Writing Valuable PapersRemote
PLMW
Liam O'Connor University of Edinburgh
15:05 - 16:20
Afternoon 2PLMW at Independence
Chair(s): Paul Downen University of Massachusetts Lowell
15:05
35m
Talk
Proving and ProgrammingRemote
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 LunchDiversity, 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 BreakfastDiversity, Equity and Inclusion at Independence
Chair(s): Michael Hicks University of Maryland at College Park

Only in person

12:00 - 13:30
LGBTQ@POPL LunchDiversity, 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 BreakfastDiversity, 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 IPriSC at Independence
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
09:00
60m
Keynote
BPF and Spectre: Mitigating transient execution attacksRemote
PriSC
Piotr Krysiuk Symantec, Threat Hunter Team, Benedict Schlüter Ruhr University Bochum, Daniel Borkmann Isovalent
File Attached
10:20 - 11:35
Attacks and defensesPriSC at Independence
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
10:20
25m
Talk
Type-directed Program Transformation for Constant-Time EnforcementRemote
PriSC
File Attached
10:45
25m
Talk
Towards Understanding Spectre-PHT in Memory-Safe LanguagesRemote
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 ComputationRemote
PriSC
Scott Moore Galois, Inc., Jennifer Paykin Galois, Inc., Olivier Savary Bélanger Galois, Inc.
Media Attached File Attached
11:35 - 12:00
Short talksPriSC at Independence
Chair(s): Marco Guarnieri IMDEA Software Institute
15:05 - 16:20
Secure compilation theoryPriSC at Independence
Chair(s): Arthur Azevedo de Amorim Boston University
15:05
25m
Talk
Composing Secure CompilersRemote
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 SimulationRemote
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, AbstractlyRemote
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 systemsPriSC at Independence
Chair(s): Marco Guarnieri IMDEA Software Institute
16:40
25m
Talk
A CompCert backend with symbolic encryptionRemote
PriSC
Paolo Torrini INRIA, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
File Attached
17:05
25m
Talk
Effect-Oblivious EquivalenceRemote
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 codeRemote
PriSC
Dominic Mulligan Arm Research, Nick Spinale Arm Research
File Attached

Mon 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

Tue 18 Jan

Displayed time zone: Eastern Time (US & Canada) change

Wed 19 Jan

Displayed time zone: Eastern Time (US & Canada) change

Thu 20 Jan

Displayed time zone: Eastern Time (US & Canada) change

Fri 21 Jan

Displayed time zone: Eastern Time (US & Canada) change

Sat 22 Jan

Displayed time zone: Eastern Time (US & Canada) change