Program - POPL 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

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 programSpecify 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	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Siemens Boardroom

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

12:30 - 14:00	LunchCatering at Siemens Boardroom

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Siemens Boardroom

15:30 30m Coffee break		Break Catering

Mon 15 Jan
Displayed time zone: London change

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

Tue 16 Jan
Displayed time zone: London change

09:00 - 10:30	OpeningIncorrectness at Mountbatten Exhibition Chair(s): Noam Zilberstein Cornell University

09:00 5m Day opening		Welcome Incorrectness Noam Zilberstein Cornell University, Azalea Raad Imperial College London
09:05 60m Keynote		My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof Incorrectness Peter W. O'Hearn Lacework; University College London
10:05 22m Talk		A Comparison of Program Logics for (In)Correctness Incorrectness Flavio Ascari University of Pisa Pre-print File Attached

	10:30 - 11:00	BreakCatering at Maxwell Library

10:30 - 11:00	BreakCatering at Riverside Room

10:30 30m Coffee break		Break Catering

11:00 - 12:30	Logics and Program AnalysisIncorrectness at Mountbatten Exhibition Chair(s): Noam Zilberstein Cornell University

11:00 22m Talk		Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning Incorrectness Andreas Lööw Imperial College London, Daniele Nantes-Sobrinho Imperial College London, Sacha-Élie Ayoun Imperial College London, Nat Karmios Imperial College London, Seung Hoon Park Imperial College London, Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London Pre-print
11:22 22m Talk		The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs Incorrectness Caroline Cronjäger Vrije Universiteit Amsterdam Pre-print
11:45 22m Talk		Work in Progress: Modelling Incorrect Programs in the Open World with Dafny Incorrectness James Noble Creative Research & Programming, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London File Attached
12:07 22m Talk		Hoare-Like Triples and Kleene Algebras with Top and Tests Incorrectness Lena Verscht Saarland University, Saarland Informatics Campus, Benjamin Lucien Kaminski Saarland University; University College London Pre-print File Attached

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

12:30 - 14:00	LunchCatering at Riverside Room

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Concurrency, Security, & Hyper-propertiesIncorrectness at Mountbatten Exhibition Chair(s): Azalea Raad Imperial College London

14:00 22m Talk		Quantitative Weakest Hyper Pre Incorrectness Linpeng Zhang University College London, Benjamin Lucien Kaminski Saarland University; University College London File Attached
14:22 23m Talk		A Reachability Logic for a Weak Memory Model with Promises Incorrectness Lara Bargmann University of Oldenburg, Brijesh Dongol University of Surrey, Heike Wehrheim University of Oldenburg File Attached
14:45 22m Talk		Towards Temporal Adversarial Logic Incorrectness Julien Vanegue Bloomberg, USA
15:07 22m Talk		Finding counterexamples to ∀∃ hyperproperties Incorrectness Tobias Nießen TU Wien, Georg Weissenbacher TU Wien DOI Pre-print

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Riverside Room

15:30 30m Coffee break		Break Catering

16:00 - 17:30	TypesIncorrectness at Mountbatten Exhibition Chair(s): Azalea Raad Imperial College London

16:00 22m Talk		Type-Based Incorrectness Reasoning Incorrectness Zhe Zhou Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
16:23 22m Talk		Ill-Typed Programs Don't Evaluate Incorrectness Steven Ramsay University of Bristol, Charlie Walpole University of Bristol

Sat 20 Jan
Displayed time zone: London change

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Riverside Room

10:30 30m Coffee break		Break Catering

10:30 - 11:00	BreakCatering at Siemens Boardroom

10:30 30m Coffee break		Break Catering

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

	12:30 - 14:00	LunchCatering at Riverside Room

12:30 - 14:00	LunchCatering at Siemens Boardroom

12:30 90m Lunch		Lunch Catering

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Riverside Room

15:30 30m Coffee break		Break Catering

15:30 - 16:00	BreakCatering at Siemens Boardroom

15:30 30m Coffee break		Break Catering

Incorrectness 2024 Program

Sun 14 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Incorrectness 2024 Program

Switch Program View

Program Display Configuration

Sun 14 JanDisplayed time zone: London change

Mon 15 JanDisplayed time zone: London change

Tue 16 JanDisplayed time zone: London change

Sat 20 JanDisplayed time zone: London change

Get Calendar (iCal)

Sun 14 Jan
Displayed time zone: London change

Mon 15 Jan
Displayed time zone: London change

Tue 16 Jan
Displayed time zone: London change

Sat 20 Jan
Displayed time zone: London change