VenueInstitution of Engineering and Technology
Room nameSiemens Boardroom
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

Sun 14 Jan

Displayed time zone: London change

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Mon 15 Jan

Displayed time zone: London change

16:00 - 17:30
16:00
45m
Talk
A Brief Tour of Binaryen
WAW
16:45
45m
Other
Lightning Talks - please sign up!
WAW
Andreas Rossberg Independent, Conrad Watt Nanyang Technological University

Wed 17 Jan

Displayed time zone: London change

08:25 - 08:45
Wednesday Morning Sessions PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Clément Pit-Claudel EPFL
08:25
10m
Research preview
Synthesis 1: Session Preview
POPL Session Previews
Xiaokang Qiu Purdue University
08:35
10m
Research preview
Types 1: Session Preview
POPL Session Previews
Niki Vazou IMDEA Software Institute
10:05 - 10:25
Wednesday Morning Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Ariel E. Kellison Cornell University
10:05
10m
Research preview
Effect Handlers: Session Preview
POPL Session Previews
Sam Lindley University of Edinburgh
10:15
10m
Research preview
Automated Verification: Session Preview
POPL Session Previews
Viktor Kunčak EPFL, Switzerland
12:50 - 13:10
Wednesday Lunch Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Aurèle Barrière EPFL
12:50
10m
Research preview
Automata and Complexity: Session Preview
POPL Session Previews
Benjamin Lucien Kaminski Saarland University; University College London
13:00
10m
Research preview
Separation Logic: Session Preview
POPL Session Previews
Ralf Jung ETH Zurich
14:45 - 15:05
Wednesday Afternoon Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Samantha Frohlich University of Bristol
14:45
10m
Research preview
Concurrency: Session Preview
POPL Session Previews
Shaz Qadeer Meta, Inc.
14:55
10m
Research preview
Domain-Specific Languages: Session Preview
POPL Session Previews
John Wickerson Imperial College London

Thu 18 Jan

Displayed time zone: London change

08:30 - 08:50
Thursday Breakfast Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Lydia Kondyludou
08:30
10m
Research preview
Synthesis 2: Session Preview
POPL Session Previews
Hila Peleg Technion
08:40
10m
Research preview
Higher-Order Effectful Programs: Session Preview
POPL Session Previews
Andrew K. Hirsch University at Buffalo, SUNY
10:25 - 10:45
Thursday Morning Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Gabriele Vanoni IRIF, Université Paris Cité
10:25
10m
Research preview
Types 2: Session Preview
POPL Session Previews
10:35
10m
Research preview
Probabilistic Programs: Session Preview
POPL Session Previews
Jules Jacobs Radboud University Nijmegen
13:10 - 13:30
Thursday Lunch Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Lucy Menon Northeastern University
13:10
10m
Research preview
Quantum Computing: Session Preview
POPL Session Previews
Oded Padon VMware Research
13:20
10m
Research preview
Weak Memory and Concurrent Separation Logic: Session Preview
POPL Session Previews
Mike Dodds Galois, Inc.
15:05 - 15:25
Thursday Afternoon Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Son Ho INRIA
15:05
10m
Research preview
Parallelism: Session Preview
POPL Session Previews
John Reppy University of Chicago, USA
15:15
10m
Research preview
Algorithmic Verification: Session Preview
POPL Session Previews
Konstantinos Mamouras Rice University
15:30 - 16:50
15:30
13m
Talk
Embedding Pointful Array Programming in Python
POPL Student Research Competition
Jakub Bachurski University of Cambridge
15:43
13m
Talk
A Lean Formalization of Cedar
POPL Student Research Competition
Bhakti Shah University of Chicago
15:56
13m
Talk
Efficient Incremental Computation for Halide
POPL Student Research Competition
Tyler Hou University of California, Berkeley
Pre-print
16:10
13m
Talk
A Substructural Type and Effect System
POPL Student Research Competition
Orpheas van Rooij Radboud University
16:23
13m
Talk
Session-Typed Effect Handlers
POPL Student Research Competition
Wenhao Tang University of Edinburgh
16:36
13m
Talk
HOL4P4: A Heapless Small-Step Semantics and Type System for P4
POPL Student Research Competition
Anoud Alshnakat KTH Royal Institute of Technology, Roberto Guanciale KTH Royal Institute of Technology, Mads Dam KTH

Fri 19 Jan

Displayed time zone: London change

08:25 - 08:45
Friday Breakfast Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Xulei Liu Delft University of Technology
08:25
10m
Research preview
Program Analysis: Session Preview
POPL Session Previews
Roberto Giacobazzi University of Arizona, Tucson, Arizona, USA
08:35
10m
Research preview
Type Theory: Session Preview
POPL Session Previews
Kuen-Bang Hou (Favonia) University of Minnesota
10:05 - 10:25
Friday Morning Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Aleksander Boruch-Gruszecki EPFL
10:05
10m
Research preview
Types 3: Session Preview
POPL Session Previews
10:15
10m
Research preview
Medley: Session Preview
POPL Session Previews
Philip Wadler University of Edinburgh
12:50 - 13:10
Friday Lunch Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Ekaterina Zhuchko Tallinn University of Technology
12:50
10m
Research preview
Machine and Automata Learning: Session Preview
POPL Session Previews
Steven Holtzen Northeastern University
13:00
10m
Research preview
Mechanized Proofs: Session Preview
POPL Session Previews
Sandrine Blazy University of Rennes
14:45 - 15:05
Friday Afternoon Session PreviewsPOPL Session Previews at Siemens Boardroom
Chair(s): Paulette Koronkevich University of British Columbia
14:45
10m
Research preview
Gradual Typing and Verification: Session Preview
POPL Session Previews
Ronald Garcia University of British Columbia
14:55
10m
Research preview
Logical Foundations: Session Preview
POPL Session Previews

Sat 20 Jan

Displayed time zone: London change

09:00 - 10:30
Invited Talks 1N40AI at Siemens Boardroom
Chair(s): Antoine Miné Sorbonne Université
09:00
45m
Talk
Mechanizing Abstract Interpretation
N40AI
Xavier Leroy Collège de France
09:45
45m
Talk
Program Synthesis via Bi-directional Reduced-product Abstract Interpretation
N40AI
Kwangkeun Yi Seoul National University
10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

11:00 - 12:30
Invited Talks 2N40AI at Siemens Boardroom
Chair(s): Caterina Urban Inria & École Normale Supérieure | Université PSL
11:00
45m
Talk
Quantum Abstract Interpretation
N40AI
Jens Palsberg University of California, Los Angeles (UCLA)
11:45
45m
Talk
Trust but Verify: Scaling Deductive Verification with Abstract Interpretation
N40AI
Mooly Sagiv Tel Aviv University
File Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

14:00 - 15:30
Invited Talks 3N40AI at Siemens Boardroom
Chair(s): Jerome Feret INRIA Paris
14:00
45m
Talk
AI for the People
N40AI
Peter W. O'Hearn Lacework; University College London
14:45
45m
Talk
Unified Compositional Symbolic Execution
N40AI
Philippa Gardner Imperial College London
15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

16:00 - 17:30
Short TalksN40AI at Siemens Boardroom
Chair(s): Roberto Giacobazzi University of Arizona
16:00
90m
Talk
Short talks: Past, Present and Future of AI
N40AI
Roberto Giacobazzi University of Arizona, Eric Goubault Ecole Polytechnique, Laurent Mauborgne Absint GmbH, Dominique Mery Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France, David Monniaux Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Andreas Podelski University of Freiburg, David Schmidt , Reinhard Wilhelm Saarland University

Sun 14 Jan

Displayed time zone: London change

Mon 15 Jan

Displayed time zone: London change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Siemens Boardroom

Sun 14 Jan

Displayed time zone: London change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Siemens Boardroom
POPL Catering
Break
10:30 - 11:00
POPL Catering
Lunch
12:30 - 14:00
POPL Catering
Break
15:30 - 16:00