Session previews are a new track being piloted at POPL 2023. The idea, borrowed from the SIGCOMM community, is to have a short presentations in which invited experts present background material on the general topic of each session as well as the specific papers in it. The goal is to make POPL talks more accessible to the entire community.

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 18 Jan

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

08:30 - 08:50
Wednesday Breakfast Session PreviewSession Previews at White Hill
Chair(s): Nate Foster Cornell University
08:30
10m
Talk
Automated Verification: Session Preview
Session Previews
Michael Greenberg Stevens Institute of Technology
08:40
10m
Talk
Types I: Session Preview
Session Previews
Neel Krishnaswami University of Cambridge
10:20 - 10:40
Wednesday Morning Break Session PreviewSession Previews at White Hill
Chair(s): Eric Campbell Cornell University
10:20
10m
Talk
Security: Session Preview
Session Previews
Limin Jia Carnegie Mellon University
10:30
10m
Talk
Synthesis I: Session Preview
Session Previews
Nadia Polikarpova University of California at San Diego
12:40 - 13:20
Wednesday Lunch Session PreviewSession Previews at White Hill
Chair(s): Chelsea Edmonds University of Cambridge
12:40
10m
Talk
Logic & Decidability I: Session Preview
Session Previews
Zachary Kincaid Princeton University
12:50
10m
Talk
Program Logics & Resources: Session Preview
Session Previews
Philippa Gardner Imperial College London
13:00
10m
Talk
Verified Compilation: Session Preview
Session Previews
Deian Stefan University of California at San Diego
13:10
10m
Talk
Probabilistic Inference: Session Preview
Session Previews
Alexandra Silva Cornell University
18:10 - 18:30
Wednesday Evening Session PreviewSession Previews at White Hill
Chair(s): Xuejing Huang University of Hong Kong
18:10
10m
Talk
Synthesis II: Session Preview
Session Previews
Nate Foster Cornell University
18:20
10m
Talk
Semantics I: Session Preview
Session Previews
Ugo Dal Lago University of Bologna; Inria

Thu 19 Jan

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

08:20 - 08:50
Thursday Breakfast Session PreviewSession Previews at White Hill
Chair(s): Eric Campbell Cornell University
08:20
10m
Talk
Program Analysis & Parsing: Session Preview
Session Previews
08:30
10m
Talk
Resource Analysis: Session Preview
Session Previews
Xavier Rival Inria; ENS; CNRS; PSL University
08:40
10m
Talk
Automatic Differentiation: Session Preview
Session Previews
Sasa Misailovic University of Illinois at Urbana-Champaign
10:05 - 10:15
Thursday Morning Break Session PreviewSession Previews at White Hill
Chair(s): Nate Foster Cornell University
10:05
10m
Talk
Type Theory: Session Preview
Session Previews
Max S. New University of Michigan
13:00 - 13:20
Thursday Lunch Session PreviewSession Previews at White Hill
Chair(s): Gabe Grand
13:00
10m
Talk
Logic & Decidability II: Session Preview
Session Previews
Caleb Stanford University of California, San Diego; University of California, Davis
13:10
10m
Talk
Types II: Session Preview
Session Previews
Benjamin C. Pierce University of Pennsylvania
18:10 - 18:30
Thursday Evening Session PreviewSession Previews at White Hill
Chair(s): Alexandra E. Michael University of California at San Diego; University of Washington
18:10
10m
Talk
Semantics & Effects: Session Preview
Session Previews
Andrew K. Hirsch University at Buffalo, SUNY
18:20
10m
Talk
Logic Programming: Session Preview
Session Previews

Fri 20 Jan

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

08:30 - 08:50
Friday Breakfast Session PreviewSession Previews at White Hill
Chair(s): Alexandre Moine Inria
08:30
10m
Talk
Formal Methods in Compilation & Implementation: Session Preview
Session Previews
Arjun Guha Northeastern University and Roblox Research
08:40
10m
Talk
Quantum Computing: Session Preview
Session Previews
Jens Palsberg University of California, Los Angeles (UCLA)
10:20 - 10:40
Friday Morning Break Session PreviewSession Previews at White Hill
Chair(s): Neea Rusch Augusta University
10:20
10m
Talk
Concurrency & Linearizability: Session Preview
Session Previews
Chung-Kil Hur Seoul National University
10:30
10m
Talk
Algorithmic Verification
Session Previews
Umang Mathur National University of Singapore
13:00 - 13:20
Friday Lunch Session PreviewSession Previews at White Hill
13:00
10m
Talk
Relational & Automated Verification: Session Preview
Session Previews
Eric Campbell Cornell University
13:10
10m
Talk
Semantics II: Session Preview
Session Previews
Robert Atkey University of Strathclyde

Session Previews

Title
Algorithmic Verification
Session Previews
Automated Verification: Session Preview
Session Previews
Automatic Differentiation: Session Preview
Session Previews
Concurrency & Linearizability: Session Preview
Session Previews
Formal Methods in Compilation & Implementation: Session Preview
Session Previews
Logic & Decidability II: Session Preview
Session Previews
Logic & Decidability I: Session Preview
Session Previews
Logic Programming: Session Preview
Session Previews
Probabilistic Inference: Session Preview
Session Previews
Program Analysis & Parsing: Session Preview
Session Previews
Program Logics & Resources: Session Preview
Session Previews
Quantum Computing: Session Preview
Session Previews
Relational & Automated Verification: Session Preview
Session Previews
Resource Analysis: Session Preview
Session Previews
Security: Session Preview
Session Previews
Semantics & Effects: Session Preview
Session Previews
Semantics II: Session Preview
Session Previews
Semantics I: Session Preview
Session Previews
Synthesis II: Session Preview
Session Previews
Synthesis I: Session Preview
Session Previews
Types II: Session Preview
Session Previews
Types I: Session Preview
Session Previews
Type Theory: Session Preview
Session Previews
Verified Compilation: Session Preview
Session Previews