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

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	WelcomeUNSOUND at Pasadena

10:15 15m Day opening		Welcome to UNSOUND UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)

11:00 - 12:30	ApplicationsUNSOUND at Pasadena

11:00 30m Talk		Taming Unsoundness with Gradual Abstract Interpretation UNSOUND Gaspar Ricci University of Chile, Matías Toro University of Chile, Sebastian Erdweg JGU Mainz, Éric Tanter University of Chile
11:30 30m Talk		Publishable Network Contracts in Scrapscript UNSOUND Taylor Troesh Unaffiliated

14:00 - 15:30	TypesUNSOUND at Pasadena

14:30 30m Talk		On Distributive Subtyping with Finitary and Infinitary Unions and Intersections UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
15:00 30m Talk		MeDeTy: An Unsound Object Based Encoding of Propositions as TypesOnline UNSOUND Isaac Oscar Gariano Victoria University of Wellington

16:00 - 17:30	OOPUNSOUND at Pasadena

16:00 30m Talk		From FP to OOP and Back, ConsistentlyOnline UNSOUND David Binder University of Tübingen File Attached
16:30 30m Talk		Java Method-Local Inner Classes are Unsound UNSOUND Marco Servetto VUW, Nick Webster Victoria University of Wellington , Colin Gordon Drexel University File Attached
17:00 30m Talk		The Inexact Superclass ProblemOnline UNSOUND Bruno C. d. S. Oliveira University of Hong Kong

UNSOUND 2024 Program

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

UNSOUND 2024 Program

Switch Program View

Program Display Configuration

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change