Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect 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 12 Oct
Displayed time zone: Perth change

09:00 - 10:30	Keynote talkHOPE at Seminar Room 3

09:00 90m Keynote		Smart Handlers: Handling the selection monad HOPE Ningning Xie University of Toronto

11:00 - 12:30	Session 1HOPE at Seminar Room 3

11:00 30m Talk		Contractions Are Abstractions - Towards Effective Memory Management in ReML HOPE Martin Elsman University of Copenhagen
11:30 30m Talk		Finite functional programming via graded effects and relevance types HOPE Michael Arntzenius UC Berkeley

14:00 - 15:30	Session 2HOPE at Seminar Room 3

14:00 30m Talk		Compositions for Free: Reasoning about Effectful Lenses HOPE Ruifeng Xie Peking University, Tom Schrijvers KU Leuven, Zhenjiang Hu Peking University
14:30 30m Talk		Sound and Complete Refinement for SSA with Substructural Effects HOPE Jad Elkhaleq Ghalayini University of Cambridge, Neel Krishnaswami University of Cambridge
15:00 30m Talk		Substructural Weakest Preconditions in Fibrations HOPE John Li Northeastern University, Pedro H. Azevedo de Amorim University of Oxford, Ryan Doenges Northeastern University

16:00 - 17:30	Session 3HOPE at Seminar Room 3

16:00 60m Talk		Rows and Capabilities as Modal Effects (Extended Abstract) HOPE Wenhao Tang The University of Edinburgh, Sam Lindley University of Edinburgh

HOPE 2025 Program

Sun 12 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

HOPE 2025 Program

Switch Program View

Program Display Configuration

Sun 12 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Sun 12 Oct
Displayed time zone: Perth change