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)

@InProceedings{NSAD24p1, author = {Caterina Urban}, title = {Abstract Domains for Machine Learning Verification (Keynote)}, booktitle = {Proc.\ NSAD}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3689609.3699919}, year = {2024}, } Publisher's Version Article: splashws24nsadmain-key1-p (type: Abstract) 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)

@InProceedings{NSAD24p9, author = {Rebecca Ghidini and Julian Erhard and Michael Schwarz and Helmut Seidl}, title = {C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”}, booktitle = {Proc.\ NSAD}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3689609.3689994}, year = {2024}, } Publisher's Version Article: splashws24nsadmain-p31-p (type: Full Paper) 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)

@InProceedings{NSAD24p17, author = {Luca Negrini and Sofia Presotto and Pietro Ferrara and Enea Zaffanella and Agostino Cortesi}, title = {Stability: An Abstract Domain for the Trend of Variation of Numerical Variables}, booktitle = {Proc.\ NSAD}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3689609.3689995}, year = {2024}, } Publisher's Version Article: splashws24nsadmain-p32-p (type: Full Paper) 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)

@InProceedings{NSAD24p25, author = {Greta Dolcetti and Agostino Cortesi and Caterina Urban and Enea Zaffanella}, title = {Towards a High Level Linter for Data Science}, booktitle = {Proc.\ NSAD}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3689609.3689996}, year = {2024}, } Publisher's Version Article: splashws24nsadmain-p51-p (type: Full Paper) 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)

@InProceedings{NSAD24p33, author = {Anthony Dario and Samuel D. Pollard}, title = {A Step-Function Abstract Domain for Granular Floating-Point Error Analysis}, booktitle = {Proc.\ NSAD}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3689609.3689997}, year = {2024}, } Publisher's Version Article: splashws24nsadmain-p61-p (type: Full Paper) doi:10.1145/3689609.3689997

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

@InProceedings{NSAD24p41, author = {Nicola Assolini and Alessandra Di Pierro and Isabella Mastroeni}, title = {Abstracting Entanglement}, booktitle = {Proc.\ NSAD}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3689609.3689998}, year = {2024}, } Publisher's Version Article: splashws24nsadmain-p92-p (type: Full Paper) doi:10.1145/3689609.3689998

Version of Record: VoR for "Abstracting Entanglement" by Assolini et al., Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2024).

proc time: 0.02