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
Wed 18 JanDisplayed time zone: Eastern Time (US & Canada) change
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 10mTalk | Automated Verification: Session Preview Session Previews Michael Greenberg Stevens Institute of Technology | ||
08:40 10mTalk | 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 10mTalk | Security: Session Preview Session Previews Limin Jia Carnegie Mellon University | ||
10:30 10mTalk | 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 10mTalk | Logic & Decidability I: Session Preview Session Previews Zachary Kincaid Princeton University | ||
12:50 10mTalk | Program Logics & Resources: Session Preview Session Previews Philippa Gardner Imperial College London | ||
13:00 10mTalk | Verified Compilation: Session Preview Session Previews Deian Stefan University of California at San Diego | ||
13:10 10mTalk | 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 10mTalk | Synthesis II: Session Preview Session Previews Nate Foster Cornell University | ||
18:20 10mTalk | Semantics I: Session Preview Session Previews Ugo Dal Lago University of Bologna; Inria | ||
Thu 19 JanDisplayed time zone: Eastern Time (US & Canada) change
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 10mTalk | Program Analysis & Parsing: Session Preview Session Previews David Pichardie Meta | ||
08:30 10mTalk | Resource Analysis: Session Preview Session Previews Xavier Rival Inria; ENS; CNRS; PSL University | ||
08:40 10mTalk | 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 10mTalk | Type Theory: Session Preview Session Previews Max S. New University of Michigan | ||
13:00 - 13:20 | |||
13:00 10mTalk | Logic & Decidability II: Session Preview Session Previews Caleb Stanford University of California, San Diego; University of California, Davis | ||
13:10 10mTalk | 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 10mTalk | Semantics & Effects: Session Preview Session Previews Andrew K. Hirsch University at Buffalo, SUNY | ||
18:20 10mTalk | Logic Programming: Session Preview Session Previews Cody Roux AWS | ||
Fri 20 JanDisplayed time zone: Eastern Time (US & Canada) change
Fri 20 Jan
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 08:50 | |||
08:30 10mTalk | Formal Methods in Compilation & Implementation: Session Preview Session Previews Arjun Guha Northeastern University and Roblox Research | ||
08:40 10mTalk | 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 10mTalk | Concurrency & Linearizability: Session Preview Session Previews Chung-Kil Hur Seoul National University | ||
10:30 10mTalk | Algorithmic Verification Session Previews Umang Mathur National University of Singapore | ||
13:00 - 13:20 | |||
13:00 10mTalk | Relational & Automated Verification: Session Preview Session Previews Eric Campbell Cornell University | ||
13:10 10mTalk | Semantics II: Session Preview Session Previews Robert Atkey University of Strathclyde | ||