PROPL 2024
Sat 20 Jan 2024
London, United Kingdom
co-located with
POPL 2024
Toggle navigation
Attending
Venue: Institution of Engineering and Technology
Program
PROPL Program
Your Program
Sat 20 Jan
Track/Call
Organization
PROPL 2024 Committees
Track Committees
Chairs
Programme Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2024
(
series
) /
PROPL 2024 (
series
) /
Institution of Engineering and Technology
/
Room information: Siemens Boardroom
Venue
Institution of Engineering and Technology
Room name
Siemens Boardroom
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) London
.
Use conference time zone: (GMT) London
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Break
POPL Catering
at
Siemens Boardroom
10:30
30m
Coffee break
Break
POPL Catering
12:30 - 14:00
Lunch
POPL Catering
at
Siemens Boardroom
12:30
90m
Lunch
Lunch
POPL Catering
15:30 - 16:00
Break
POPL Catering
at
Siemens Boardroom
15:30
30m
Coffee break
Break
POPL Catering
Mon 15 Jan
Displayed time zone:
London
change
09:00 - 10:30
Session 1
WAW
at
Siemens Boardroom
09:00
45m
Talk
What is a WebAssembly component (and why?)
WAW
Luke Wagner
Fastly
09:45
45m
Talk
WALI: A thin Linux kernel interface for WebAssembly
WAW
Ben L. Titzer
Carnegie Mellon University
11:00 - 12:30
Session 2
WAW
at
Siemens Boardroom
11:00
45m
Talk
RichWasm: Bringing Safe, Fine-Grained, Shared Memory Interoperability to WebAssembly
WAW
Amal Ahmed
Northeastern University, USA
11:45
45m
Talk
Stack Switching in WebAssembly with Effect Handlers
WAW
Daniel Hillerström
Huawei Zurich Research Center
14:00 - 15:30
Session 3
WAW
at
Siemens Boardroom
14:00
45m
Talk
Mechanising WebAssembly Well?
WAW
Philippa Gardner
Imperial College London
14:45
45m
Talk
Generating Executable Specification from Formal Semantics of WebAssembly
WAW
Sukyoung Ryu
KAIST
16:00 - 17:30
Session 4
WAW
at
Siemens Boardroom
16:00
45m
Talk
A Brief Tour of Binaryen
WAW
Thomas Lively
Google
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 Previews
POPL 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 Previews
POPL 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 Previews
POPL 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 Previews
POPL 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 Previews
POPL 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 Previews
POPL 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
Richard A. Eisenberg
Jane Street
10:35
10m
Research preview
Probabilistic Programs: Session Preview
POPL Session Previews
Jules Jacobs
Radboud University Nijmegen
13:10 - 13:30
Thursday Lunch Session Previews
POPL 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 Previews
POPL 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
SRC Competition Talks
POPL Student Research Competition
at
Siemens Boardroom
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 Previews
POPL 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
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 Previews
POPL Session Previews
at
Siemens Boardroom
Chair(s):
Aleksander Boruch-Gruszecki
EPFL
10:05
10m
Research preview
Types 3: Session Preview
POPL Session Previews
Nick Benton
Meta
10:15
10m
Research preview
Medley: Session Preview
POPL Session Previews
Philip Wadler
University of Edinburgh
12:50 - 13:10
Friday Lunch Session Previews
POPL 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 Previews
POPL 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
Emanuele D’Osualdo
MPI-SWS
Sat 20 Jan
Displayed time zone:
London
change
09:00 - 10:30
Invited Talks 1
N40AI
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
Break
POPL Catering
at
Siemens Boardroom
10:30
30m
Coffee break
Break
POPL Catering
11:00 - 12:30
Invited Talks 2
N40AI
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
Lunch
POPL Catering
at
Siemens Boardroom
12:30
90m
Lunch
Lunch
POPL Catering
14:00 - 15:30
Invited Talks 3
N40AI
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
Break
POPL Catering
at
Siemens Boardroom
15:30
30m
Coffee break
Break
POPL Catering
16:00 - 17:30
Short Talks
N40AI
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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Siemens Boardroom
POPL Catering
Break
POPL Catering
Lunch
POPL Catering
Break
Mon 15 Jan
Displayed time zone:
London
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Siemens Boardroom
WAW
Session 1
WAW
Session 2
WAW
Session 3
WAW
Session 4
Wed 17 Jan
Displayed time zone:
London
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Siemens Boardroom
POPL Session Previews
Wednesday Morning Sessions Previews
POPL Session Previews
Wednesday Morning Session Previews
POPL Session Previews
Wednesday Lunch Session Previews
POPL Session Previews
Wednesday Afternoon Session Previews
Thu 18 Jan
Displayed time zone:
London
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Siemens Boardroom
POPL Session Previews
Thursday Breakfast Session Previews
POPL Session Previews
Thursday Morning Session Previews
POPL Session Previews
Thursday Lunch Session Previews
POPL Session Previews
Thursday Afternoon Session Previews
POPL Student Research Competition
SRC Competition Talks
Fri 19 Jan
Displayed time zone:
London
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Siemens Boardroom
POPL Session Previews
Friday Breakfast Session Previews
POPL Session Previews
Friday Morning Session Previews
POPL Session Previews
Friday Lunch Session Previews
POPL Session Previews
Friday Afternoon Session Previews
Sat 20 Jan
Displayed time zone:
London
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Siemens Boardroom
N40AI
Invited Talks 1
POPL Catering
Break
N40AI
Invited Talks 2
POPL Catering
Lunch
N40AI
Invited Talks 3
POPL Catering
Break
N40AI
Short Talks
Sun 14 Jan
Displayed time zone:
London
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Siemens Boardroom
POPL Catering
Break
10:30 - 11:00
POPL Catering
Lunch
12:30 - 14:00
POPL Catering
Break
15:30 - 16:00
Mon 15 Jan
Displayed time zone:
London
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Siemens Boardroom
WAW
What is a WebAssembly component (and why?)
09:00 - 09:45
WAW
WALI: A thin Linux kernel interface for WebAssembly
09:45 - 10:30
WAW
RichWasm: Bringing Safe, Fine-Grained, Shared Memory Interoperability t ...
11:00 - 11:45
WAW
Stack Switching in WebAssembly with Effect Handlers
11:45 - 12:30
WAW
Mechanising WebAssembly Well?
14:00 - 14:45
WAW
Generating Executable Specification from Formal Semantics of WebAssembly
14:45 - 15:30
WAW
A Brief Tour of Binaryen
16:00 - 16:45
WAW
Lightning Talks - please sign up!
16:45 - 17:30
Wed 17 Jan
Displayed time zone:
London
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Siemens Boardroom
POPL Session Previews
Synthesis 1: Session Preview
08:25 - 08:35
POPL Session Previews
Types 1: Session Preview
08:35 - 08:45
POPL Session Previews
Effect Handlers: Session Preview
10:05 - 10:15
POPL Session Previews
Automated Verification: Session Preview
10:15 - 10:25
POPL Session Previews
Automata and Complexity: Session Preview
12:50 - 13:00
POPL Session Previews
Separation Logic: Session Preview
13:00 - 13:10
POPL Session Previews
Concurrency: Session Preview
14:45 - 14:55
POPL Session Previews
Domain-Specific Languages: Session Preview
14:55 - 15:05
Thu 18 Jan
Displayed time zone:
London
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Siemens Boardroom
POPL Session Previews
Synthesis 2: Session Preview
08:30 - 08:40
POPL Session Previews
Higher-Order Effectful Programs: Session Preview
08:40 - 08:50
POPL Session Previews
Types 2: Session Preview
10:25 - 10:35
POPL Session Previews
Probabilistic Programs: Session Preview
10:35 - 10:45
POPL Session Previews
Quantum Computing: Session Preview
13:10 - 13:20
POPL Session Previews
Weak Memory and Concurrent Separation Logic: Session Preview
13:20 - 13:30
POPL Session Previews
Parallelism: Session Preview
15:05 - 15:15
POPL Session Previews
Algorithmic Verification: Session Preview
15:15 - 15:25
POPL Student Research Competition
Embedding Pointful Array Programming in Python
15:30 - 15:43
POPL Student Research Competition
A Lean Formalization of Cedar
15:43 - 15:56
POPL Student Research Competition
Efficient Incremental Computation for Halide
15:56 - 16:10
POPL Student Research Competition
A Substructural Type and Effect System
16:10 - 16:23
POPL Student Research Competition
Session-Typed Effect Handlers
16:23 - 16:36
POPL Student Research Competition
HOL4P4: A Heapless Small-Step Semantics and Type System for P4
16:36 - 16:50
Fri 19 Jan
Displayed time zone:
London
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Siemens Boardroom
POPL Session Previews
Program Analysis: Session Preview
08:25 - 08:35
POPL Session Previews
Type Theory: Session Preview
08:35 - 08:45
POPL Session Previews
Types 3: Session Preview
10:05 - 10:15
POPL Session Previews
Medley: Session Preview
10:15 - 10:25
POPL Session Previews
Machine and Automata Learning: Session Preview
12:50 - 13:00
POPL Session Previews
Mechanized Proofs: Session Preview
13:00 - 13:10
POPL Session Previews
Gradual Typing and Verification: Session Preview
14:45 - 14:55
POPL Session Previews
Logical Foundations: Session Preview
14:55 - 15:05
Sat 20 Jan
Displayed time zone:
London
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Siemens Boardroom
N40AI
Mechanizing Abstract Interpretation
09:00 - 09:45
N40AI
Program Synthesis via Bi-directional Reduced-product Abstract Interpret ...
09:45 - 10:30
POPL Catering
Break
10:30 - 11:00
N40AI
Quantum Abstract Interpretation
11:00 - 11:45
N40AI
Trust but Verify: Scaling Deductive Verification with Abstract Interpre ...
11:45 - 12:30
POPL Catering
Lunch
12:30 - 14:00
N40AI
AI for the People
14:00 - 14:45
N40AI
Unified Compositional Symbolic Execution
14:45 - 15:30
POPL Catering
Break
15:30 - 16:00
N40AI
Short talks: Past, Present and Future of AI
16:00 - 17:30
x
Thu 21 Nov 14:55