Session previews are a new track, first piloted at POPL ’23 and being continued again this year. 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 17 JanDisplayed time zone: London change
Wed 17 Jan
Displayed time zone: London change
08:25 - 08:45 | Wednesday Morning Sessions PreviewsSession Previews at Siemens Boardroom Chair(s): Clément Pit-Claudel EPFL | ||
08:25 10mResearch preview | Synthesis 1: Session Preview Session Previews Xiaokang Qiu Purdue University | ||
08:35 10mResearch preview | Types 1: Session Preview Session Previews Niki Vazou IMDEA Software Institute | ||
10:05 - 10:25 | Wednesday Morning Session PreviewsSession Previews at Siemens Boardroom Chair(s): Ariel E. Kellison Cornell University | ||
10:05 10mResearch preview | Effect Handlers: Session Preview Session Previews Sam Lindley University of Edinburgh | ||
10:15 10mResearch preview | Automated Verification: Session Preview Session Previews Viktor Kunčak EPFL, Switzerland | ||
12:50 - 13:10 | Wednesday Lunch Session PreviewsSession Previews at Siemens Boardroom Chair(s): Aurèle Barrière EPFL | ||
12:50 10mResearch preview | Automata and Complexity: Session Preview Session Previews Benjamin Lucien Kaminski Saarland University; University College London | ||
13:00 10mResearch preview | Separation Logic: Session Preview Session Previews Ralf Jung ETH Zurich | ||
14:45 - 15:05 | Wednesday Afternoon Session PreviewsSession Previews at Siemens Boardroom Chair(s): Samantha Frohlich University of Bristol | ||
14:45 10mResearch preview | Concurrency: Session Preview Session Previews Shaz Qadeer Meta, Inc. | ||
14:55 10mResearch preview | Domain-Specific Languages: Session Preview Session Previews John Wickerson Imperial College London | ||
Thu 18 JanDisplayed time zone: London change
Thu 18 Jan
Displayed time zone: London change
08:30 - 08:50 | |||
08:30 10mResearch preview | Synthesis 2: Session Preview Session Previews Hila Peleg Technion | ||
08:40 10mResearch preview | Higher-Order Effectful Programs: Session Preview Session Previews Andrew K. Hirsch University at Buffalo, SUNY | ||
10:25 - 10:45 | Thursday Morning Session PreviewsSession Previews at Siemens Boardroom Chair(s): Gabriele Vanoni IRIF, Université Paris Cité | ||
10:25 10mResearch preview | Types 2: Session Preview Session Previews Richard A. Eisenberg Jane Street | ||
10:35 10mResearch preview | Probabilistic Programs: Session Preview Session Previews Jules Jacobs Radboud University Nijmegen | ||
13:10 - 13:30 | Thursday Lunch Session PreviewsSession Previews at Siemens Boardroom Chair(s): Lucy Menon Northeastern University | ||
13:10 10mResearch preview | Quantum Computing: Session Preview Session Previews Oded Padon VMware Research | ||
13:20 10mResearch preview | Weak Memory and Concurrent Separation Logic: Session Preview Session Previews Mike Dodds Galois, Inc. | ||
15:05 - 15:25 | |||
15:05 10mResearch preview | Parallelism: Session Preview Session Previews John Reppy University of Chicago, USA | ||
15:15 10mResearch preview | Algorithmic Verification: Session Preview Session Previews Konstantinos Mamouras Rice University | ||
Fri 19 JanDisplayed time zone: London change
Fri 19 Jan
Displayed time zone: London change
08:25 - 08:45 | Friday Breakfast Session PreviewsSession Previews at Siemens Boardroom Chair(s): Xulei Liu Delft University of Technology | ||
08:25 10mResearch preview | Program Analysis: Session Preview Session Previews Roberto Giacobazzi University of Arizona | ||
08:35 10mResearch preview | Type Theory: Session Preview Session Previews Kuen-Bang Hou (Favonia) University of Minnesota | ||
10:05 - 10:25 | Friday Morning Session PreviewsSession Previews at Siemens Boardroom Chair(s): Aleksander Boruch-Gruszecki EPFL | ||
10:05 10mResearch preview | Types 3: Session Preview Session Previews Nick Benton Meta | ||
10:15 10mResearch preview | Medley: Session Preview Session Previews Philip Wadler University of Edinburgh | ||
12:50 - 13:10 | Friday Lunch Session PreviewsSession Previews at Siemens Boardroom Chair(s): Ekaterina Zhuchko Tallinn University of Technology | ||
12:50 10mResearch preview | Machine and Automata Learning: Session Preview Session Previews Steven Holtzen Northeastern University | ||
13:00 10mResearch preview | Mechanized Proofs: Session Preview Session Previews Sandrine Blazy University of Rennes | ||
14:45 - 15:05 | Friday Afternoon Session PreviewsSession Previews at Siemens Boardroom Chair(s): Paulette Koronkevich University of British Columbia | ||
14:45 10mResearch preview | Gradual Typing and Verification: Session Preview Session Previews Ronald Garcia University of British Columbia | ||
14:55 10mResearch preview | Logical Foundations: Session Preview Session Previews Emanuele D’Osualdo MPI-SWS | ||