Tue 22 Oct 2024 09:00 - 09:05 at Pacific B - NSAD: Session 1 Chair(s): Vincenzo Arceri, Michele Pasqua

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