SPLASH 2024 (series) / NSAD 2024 (series) / NSAD 2024 / Stability: an Abstract Domain for the Trend of Variation of Numerical Variables
Stability: an Abstract Domain for the Trend of Variation of Numerical VariablesFull Paper
This program is tentative and subject to change.
Tue 22 Oct 2024 15:00 - 15:30 at Pacific C - NSAD: Session 2
State-of-the-art abstract domains for static analysis typically focus on over-approximating either the values a variable can hold at a specific program point or the relational dependencies among variables. In this paper, we aim to capture the trend of numerical values during program executions (e.g., increasing, decreasing, or stable) relative to preceding states. By integrating the Stability domain with numerical domains, we can verify covariance and contravariance relationships among potentially unrelated variables. This approach has promising applications for anomaly detection in complex software systems, and for the verification of functional requirements.
This program is tentative and subject to change.
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mFull-paper | A Step-Function Abstract Domain for Granular Floating-Point Error AnalysisFull Paper NSAD | ||
14:30 30mFull-paper | C-2PO: A Weakly Relational Pointer DomainFull Paper NSAD Rebecca Ghidini Technical University of Munich, Julian Erhard Technical University of Munich, Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München | ||
15:00 30mFull-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 Università Ca' Foscari, Venezia, Italy, Enea Zaffanella University of Parma, Italy, Agostino Cortesi Università Ca' Foscari Venezia |