NSAD 2024 – Preliminary Table of Contents

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

Frontmatter

Papers

C-2PO: A Weakly Relational Pointer Domain
Rebecca Ghidini, Julian Erhard, Michael Schwarz, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)

Article Search

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)

Article Search

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)

Article Search

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)

Article Search

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

Article Search

proc time: 1.76