Program - SPLASH 2023

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 24 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	IWACO Keynote SessionIWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

09:00 15m Day opening		Welcome to IWACO! IWACO Aleksander Boruch-Gruszecki EPFL
09:15 75m Keynote		Capture Tracking in Scala IWACO Martin Odersky EPFL

11:00 - 12:30	IWACO Session 1IWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

11:00 30m Talk		Borrow checking Hylo IWACO Dimi Racordon Northeastern University, USA, Dave Abrahams Adobe File Attached
11:30 30m Talk		Degrees of Separation: A Flexible Type System for Data Race Prevention IWACO Yichen Xu EPFL, Aleksander Boruch-Gruszecki EPFL, Martin Odersky EPFL File Attached
12:00 30m Talk		Latte: Lightweight Aliasing Tracking for Java IWACO Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University Pre-print

14:00 - 15:30	IWACO Session 2IWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

14:00 30m Talk		A Mechanized Theory of the Box Calculus IWACO Joseph Fourment EPFL, Yichen Xu EPFL File Attached
14:30 30m Talk		Compositional Reasoning about Advanced Iterator Patterns in Rust IWACO Aurel Bílý ETH Zurich, Jonas Hansen ETH Zurich, Alexander J. Summers University of British Columbia, Peter Müller ETH Zurich File Attached
15:00 30m Talk		Oxidize: A Step-Debugger for Static Semantics IWACO Peter Chon Harvard University, Dimi Racordon Northeastern University, USA, Nada Amin Harvard University File Attached

IWACO 2023 Program

Tue 24 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

IWACO 2023 Program

Switch Program View

Program Display Configuration

Tue 24 OctDisplayed time zone: Lisbon change

Get Calendar (iCal)

Tue 24 Oct
Displayed time zone: Lisbon change