SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Hilton Pasadena /

Room information: Pacific C

VenueHilton Pasadena
Room namePacific C
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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 C
Chair(s): Aleksander Boruch-Gruszecki EPFL
09:00
5m
Other
Welcome and goals of IWACO 2024
IWACO
Aleksander Boruch-Gruszecki EPFL, Tobias Wrigstad Uppsala University
09:05
85m
Keynote
Offer-safe Trade of Mutable Objects
IWACO
Mark Miller Agoric
11:00 - 12:30
Session 2IWACO at Pacific C
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)
12:00
30m
Talk
Substructural Information Flow via Polymorphism
IWACO
Hemant Gouni Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, Jonathan Aldrich Carnegie Mellon University
14:00 - 15:30
Session 3IWACO at Pacific C
14:00
45m
Talk
On Fearless Concurrency
IWACO
Mae Milano Princeton University
14:45
45m
Talk
Ordered Types for Typestate
IWACO
Peter Thiemann University of Freiburg, Germany
16:00 - 17:30
Session 4IWACO at Pacific C
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
16:30
60m
Keynote
Visualizing and Explaining Rust's Ownership Model
IWACO
Will Crichton Brown University

Tue 22 Oct

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

11:00 - 12:30
NSAD: Session 1NSAD at Pacific C
11:00
5m
Opening
NSAD
Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona
11:05
55m
Keynote
Abstract Domains for Machine Learning Verification
NSAD
Caterina Urban Inria & École Normale Supérieure | Université PSL
12:00
30m
Full-paper
Towards a High Level Linter for Data ScienceFull Paper
NSAD
Greta Dolcetti Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and Statistics, Agostino Cortesi Università Ca' Foscari Venezia, Caterina Urban Inria & École Normale Supérieure | Université PSL, Enea Zaffanella University of Parma, Italy
14:00 - 15:30
NSAD: Session 2NSAD at Pacific C
14:00
30m
Full-paper
A Step-Function Abstract Domain for Granular Floating-Point Error AnalysisFull Paper
NSAD
Anthony Dario University of Oregon, Samuel D. Pollard Sandia National Laboratories
14:30
30m
Full-paper
C-2PO: A Weakly Relational Pointer DomainFull Paper
NSAD
Rebecca Ghidini Technical University of Munich, Julian Erhard Technical University of Munich, Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München
15:00
30m
Full-paper
Stability: an Abstract Domain for the Trend of Variation of Numerical VariablesFull Paper
NSAD
Luca Negrini Ca’ Foscari University of Venice, Sofia Presotto Ca' Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Enea Zaffanella University of Parma, Italy, Agostino Cortesi Università Ca' Foscari Venezia
16:00 - 17:30
NSAD: Session 3NSAD at Pacific C
16:00
30m
Short-paper
WiP: Labeled Union-Find for Constraint FactorizationShort Paper
NSAD
Matthieu Lemerre Université Paris-Saclay - CEA LIST, Dorian Lesbre CEA List
16:30
30m
Full-paper
Abstracting EntanglementFull Paper
NSAD
Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
17:00
10m
Closing
NSAD
Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona

Sun 20 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific C

VMIL

VMIL

VMIL

VMIL

Mon 21 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific C

IWACO

Session 1

IWACO

Session 2

IWACO

Session 3

IWACO

Session 4

Tue 22 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Pacific C

NSAD

NSAD

NSAD: Session 1

NSAD

NSAD: Session 2

NSAD

NSAD: Session 3

Mon 21 Oct

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Pacific C
IWACO
Welcome and goals of IWACO 2024
09:00 - 09:05
IWACO
Offer-safe Trade of Mutable Objects
09:05 - 10:30
IWACO
Capabilities, Effects, Ownership, and Behaviors
11:00 - 11:30
IWACO
Modular Borrowing Without Ownership or Linear Types
11:30 - 12:00
IWACO
Substructural Information Flow via Polymorphism
12:00 - 12:30
IWACO
On Fearless Concurrency
14:00 - 14:45
IWACO
Ordered Types for Typestate
14:45 - 15:30
IWACO
The first six years in the development of Polonius, an improved borrow ...
16:00 - 16:30
IWACO
Visualizing and Explaining Rust's Ownership Model
16:30 - 17:30

Tue 22 Oct

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Pacific C
NSAD
Opening
11:00 - 11:05
NSAD
Abstract Domains for Machine Learning Verification
11:05 - 12:00
NSADFull Paper
Towards a High Level Linter for Data Science
12:00 - 12:30
NSADFull Paper
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
14:00 - 14:30
NSADFull Paper
C-2PO: A Weakly Relational Pointer Domain
14:30 - 15:00
NSADFull Paper
Stability: an Abstract Domain for the Trend of Variation of Numerical V ...
15:00 - 15:30
NSADShort Paper
WiP: Labeled Union-Find for Constraint Factorization
16:00 - 16:30
NSADFull Paper
Abstracting Entanglement
16:30 - 17:00
NSAD
Closing
17:00 - 17:10