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

	10:30 - 11:00	BreakCatering at Maxwell Library

10:30 - 11:00	BreakCatering at Riverside Room

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 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

Sat 20 Jan
Displayed time zone: London change

09:00 - 10:30	Session 1WITS at Haslett Room Chair(s): Richard A. Eisenberg Jane Street

09:00 60m Keynote		Inside the Scala Capture Checker WITS Martin Odersky EPFL
10:00 30m Talk		Binding Syntax for Dependently-Typed Programs WITS Andre Videla University Of Strathclyde

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

11:00 - 12:30	Session 2WITS at Haslett Room Chair(s): William J. Bowman University of British Columbia

11:00 30m Talk		Retrofitting Null-Safety into Java WITS Artem Pianykh Facebook London
12:00 30m Talk		Type inference for application spines WITS Simon Peyton Jones Epic Games

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

14:00 - 15:30	Session 3WITS at Haslett Room

14:00 30m Talk		On Modelling Heap Invariants for Type Systems in Dafny WITS James Noble Creative Research & Programming, Tobias Wrigstad Uppsala University
14:30 30m Talk		Solving constraints during type inference WITS Simon Peyton Jones Epic Games
15:00 30m Talk		Yaffle: A New Core for Idris 2 WITS Edwin Brady University of St Andrews, UK

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

16:00 - 17:30	Session 4WITS at Haslett Room Chair(s): Edwin Brady University of St Andrews, UK

16:00 30m Talk		asai: a Library for Compiler Diagnostics WITS Kuen-Bang Hou (Favonia) University of Minnesota, Reed Mullanix McMaster University
16:30 30m Talk		Efficient Evaluation with Controlled Definition Unfolding WITS András Kovács University of Gothenburg
17:00 30m Talk		Implementing separation logic using an SMT-backed Frame RuleRemote WITS Kirill Golubev University of Lisbon, Alcides Fonseca University of Lisbon

WITS 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

WITS 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