VenueWestin Philadelphia
Room nameIndependence
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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, USA
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

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, USA
11:10
50m
Panel
Panel (live only, no recording)Hybrid
PLMW
François Pottier Inria, France, Azadeh Farzan University of Toronto, Henry DeYoung CMU, Wen Kokke University of Edinburgh, Stephanie Weirich University of Pennsylvania, Ralf Jung MIT
13:30 - 14:45
Afternoon 1PLMW at Independence
Chair(s): Stephanie Balzer Carnegie Mellon University, USA
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 C. 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 attacks
PriSC
Piotr Krysiuk Symantec, Threat Hunter Team, Benedict Schlüter Ruhr University Bochum, Daniel Borkmann Isovalent
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 Enforcement
PriSC
10:45
25m
Talk
Towards Understanding Spectre-PHT in Memory-Safe Languages
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
PriSC
11:35 - 12:00
Short talksPriSC at Independence
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
13:30 - 14:30
Keynote IIPriSC at Independence
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
13:30
60m
Keynote
Providing evidence for the security properties of hardware/software codesigns
PriSC
Frank Piessens KU Leuven
15:05 - 16:20
Secure compilation theoryPriSC at Independence
Chair(s): Arthur Azevedo de Amorim Boston University, USA
15:05
25m
Talk
Composing Secure Compilers
PriSC
Matthis Kruse CISPA Helmholtz Center for Information Security, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University
15:30
25m
Talk
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
PriSC
Akram El-Korashy Max Planck Institute for Software Systems (MPI-SWS), Roberto Blanco Max Planck Institute for Security and Privacy, Jérémy Thibault Inria Paris, Adrien Durier Max Planck Institute for Security and Privacy (MPI-SP), Cătălin Hriţcu MPI-SP, Deepak Garg MPI-SWS
15:55
25m
Talk
The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly
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
16:40 - 17:55
Secure systemsPriSC at Independence
Chair(s): Arthur Azevedo de Amorim Boston University, USA
16:40
25m
Talk
A CompCert backend with symbolic encryption
PriSC
Paolo Torrini INRIA, Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
17:05
25m
Talk
Effect-Oblivious Equivalence
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
PriSC
Dominic Mulligan Arm Research, Nick Spinale Arm Research
Hide past events

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

Hide past events
Hide past events