SPLASH 2024 (series) / UNSOUND 2024 (series) /
UNSOUND 2024 Program
This is the UNSOUND 2024 program - see the full program for SPLASH 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change
Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
10:15 15mDay opening | Welcome to UNSOUND UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Publishable Network Contracts in Scrapscript UNSOUND Taylor Troesh Unaffiliated | ||
14:00 - 15:30 | |||
14:30 30mTalk | On Distributive Subtyping with Finitary and Infinitary Unions and Intersections UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
15:00 30mTalk | MeDeTy: An Unsound Object Based Encoding of Propositions as TypesOnline UNSOUND Isaac Oscar Gariano Victoria University of Wellington | ||
16:00 - 17:30 | |||
16:00 30mTalk | From FP to OOP and Back, ConsistentlyOnline UNSOUND David Binder University of Tübingen File Attached | ||
16:30 30mTalk | Java Method-Local Inner Classes are Unsound UNSOUND File Attached | ||
17:00 30mTalk | The Inexact Superclass ProblemOnline UNSOUND Bruno C. d. S. Oliveira University of Hong Kong | ||