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

09:00 - 10:30	Session 1WAW 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

10:30 - 11:00	BreakCatering at Maxwell Library

10:30 30m Coffee break		Break Catering

11:00 - 12:30	Session 2WAW 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

12:30 - 14:00	LunchCatering at Maxwell Library

12:30 90m Lunch		Lunch Catering

14:00 - 15:30	Session 3WAW 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

15:30 - 16:00	BreakCatering at Maxwell Library

15:30 30m Coffee break		Break Catering

16:00 - 17:30	Session 4WAW 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

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

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

WAW 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

WAW 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