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

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

09:00 - 10:30	NSAD: Session 1NSAD at Pacific B Chair(s): Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona

09:00 5m		Opening NSAD Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona
09:05 55m Keynote		Abstract Domains for Machine Learning VerificationKeynote NSAD Caterina Urban Inria - École Normale Supérieure DOI
10:00 30m Full-paper		Towards a High Level Linter for Data ScienceFull Paper NSAD Greta Dolcetti Ca’ Foscari University of Venice, Agostino Cortesi Ca’ Foscari University of Venice, Caterina Urban Inria - École Normale Supérieure, Enea Zaffanella University of Parma DOI

14:00 - 15:30	NSAD: Session 2NSAD at Pacific B Chair(s): Thomas P. Jensen INRIA Rennes

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 DOI
14:30 30m Full-paper		C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”Full Paper NSAD Rebecca Ghidini TU Munich, Julian Erhard LMU Munich; TU Munich, Michael Schwarz TU Munich, Helmut Seidl TU Munich DOI
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 Ca’ Foscari University of Venice, Enea Zaffanella University of Parma, Agostino Cortesi Ca’ Foscari University of Venice DOI

16:00 - 17:30	NSAD: Session 3NSAD at Pacific B Chair(s): Michael Schwarz TU Munich

16:00 30m Short-paper		WiP: Labeled Union-Find for Constraint FactorizationShort Paper NSAD Matthieu Lemerre Université Paris-Saclay - CEA LIST, Dorian Lesbre Université Paris-Saclay - CEA LIST File Attached
16:30 30m Full-paper		Abstracting EntanglementFull Paper NSAD Nicola Assolini University of Verona, Alessandra Di Pierro University of Verona, Isabella Mastroeni University of Verona DOI
17:00 10m		Closing NSAD Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona

NSAD 2024 Program

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

NSAD 2024 Program

Switch Program View

Program Display Configuration

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

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