NSAD 2024 – Proceedings

10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024)

Frontmatter

Keynote

Abstract Domains for Machine Learning Verification (Keynote)
Caterina Urban
(Inria, France; École Normale Supérieure, France)

Publisher's Version Article: splashws24nsadmain-key1-p doi:10.1145/3689609.3699919

Full Papers

C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”
Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)

Publisher's Version Article: splashws24nsadmain-p31-p doi:10.1145/3689609.3689994

Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy)

Publisher's Version Article: splashws24nsadmain-p32-p doi:10.1145/3689609.3689995

Towards a High Level Linter for Data Science
Greta Dolcetti, Agostino Cortesi, Caterina Urban, and Enea Zaffanella
(Ca’ Foscari University of Venice, Italy; Inria - École Normale Supérieure, France; University of Parma, Italy)

Publisher's Version Article: splashws24nsadmain-p51-p doi:10.1145/3689609.3689996

A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Anthony Dario and Samuel D. Pollard
(University of Oregon, USA; Sandia National Laboratories, USA)

Publisher's Version Article: splashws24nsadmain-p61-p doi:10.1145/3689609.3689997

Abstracting Entanglement
Nicola Assolini, Alessandra Di Pierro, and Isabella Mastroeni
(University of Verona, Italy)

Publisher's Version Article: splashws24nsadmain-p92-p doi:10.1145/3689609.3689998

proc time: 0.01