Program - SPLASH 2024

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Session 1IWACO at Pacific B Chair(s): Aleksander Boruch-Gruszecki Charles University

09:00 5m Other		Welcome and goals of IWACO 2024 IWACO Aleksander Boruch-Gruszecki Charles University, Tobias Wrigstad Uppsala University
09:05 85m Keynote		Offer-safe Trade of Mutable Objects IWACO Mark Miller Agoric Media Attached

11:00 - 12:30	Session 2IWACO at Pacific B Chair(s): James Noble Independent. Wellington, NZ

11:00 30m Talk		Capabilities, Effects, Ownership, and Behaviors IWACO Colin Gordon Drexel University
11:30 30m Talk		Modular Borrowing Without Ownership or Linear Types IWACO Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) Media Attached File Attached
12:00 30m Talk		Substructural Information Flow via Polymorphism IWACO Hemant Gouni Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, Jonathan Aldrich Carnegie Mellon University Media Attached File Attached

14:00 - 15:30	Session 3IWACO at Pacific B Chair(s): Aleksander Boruch-Gruszecki Charles University

14:00 60m Keynote		Visualizing and Explaining Rust's Ownership Model IWACO Will Crichton Brown University File Attached
15:00 30m Talk		Ordered Types for Typestate IWACO Peter Thiemann University of Freiburg, Germany

16:00 - 17:30	Session 4IWACO at Pacific B Chair(s): Tobias Wrigstad Uppsala University

16:00 30m Talk		The First Six Years in the Development of Polonius, an Improved Borrow Checker IWACO Amanda Stjerna Uppsala university File Attached
16:30 30m Talk		Data-Race Safety for the Masses IWACO Holly Borla Apple, Inc,
17:00 30m Talk		Linearity, Uniqueness, Ownership: An Entente Cordiale IWACO Danielle Marshall University of Glasgow

IWACO 2024 Program

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

IWACO 2024 Program

Switch Program View

Program Display Configuration

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change