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

Tue 14 Oct
Displayed time zone: Perth change

10:50 - 12:05	Capabilities and ownership in ScalaThe Scala Workshop / IWACO at Peony NE Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP

10:50 35m Keynote		Where Are We With Scala's Capabilities? The Scala Workshop K: Martin Odersky EPFL File Attached
11:25 20m Talk		System Capybara: Capture Tracking for Ownership and Borrowing The Scala Workshop Yichen Xu EPFL, Oliver Bračevac EPFL, LAMP, Martin Odersky EPFL File Attached
11:45 20m Talk		Capability-Safe Erasure in ScalaRemote The Scala Workshop Eugene Flesselle EPFL, Dimi Racordon EPFL, LAMP, Hamza Remmal EPFL, LAMP File Attached

13:40 - 15:20	Type systems 1IWACO at Peony NE Chair(s): Hemant Gouni Carnegie Mellon University

13:40 35m Keynote		Against Borrowing: Own the forest, not the trees! IWACO James Noble Independent. Wellington, NZ
14:15 25m Talk		A Verified Thread-Safe Array in Rust IWACO Sasha Pak Australian National University, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
14:40 25m Talk		Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning IWACO Yiyuan Cao Peking University, Taro Sekiyama National Institute of Informatics
15:05 25m Talk		Bringing Fearless Concurrency to Swift IWACO Mae Milano Princeton University

16:00 - 17:40	Type systems 2IWACO at Peony NE Chair(s): Hemant Gouni Carnegie Mellon University

16:00 25m Talk		Type Universes as Kripke Worlds: Memory Management Edition IWACO Paulette Koronkevich University of British Columbia
16:25 25m Talk		Gradual Verification: Assuring Software Incrementally IWACO Jonathan Aldrich Carnegie Mellon University
16:50 25m Talk		Unfolding Expressions for Gradual Verification IWACO Hazel Torek Clemson University, Long Tien Nguyen Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
17:15 25m Panel		Round table on ownership challenges IWACO Dimi Racordon EPFL, LAMP, Tobias Wrigstad Uppsala University, Hemant Gouni Carnegie Mellon University

IWACO 2025 Program

Tue 14 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

IWACO 2025 Program

Switch Program View

Program Display Configuration

Tue 14 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Tue 14 Oct
Displayed time zone: Perth change