NSAD 2026 – Preliminary Table of Contents

11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2026)

Frontmatter

Keynote

Papers

Effect Systems as Abstract Interpretations
Colin S. Gordon
(Drexel University, USA)

Article Search Article: splashws26nsadmain-p6-p (type: Full Paper) doi:10.1145/3840563.3843706

Inferring Numerical Abstract Domain Types from Concrete Program States
Kenny Ballou, Teddy Moore, and Elena Sherman
(California State University, San Marcos, USA; Boise State University, USA)

Article Search Article: splashws26nsadmain-p9-p (type: Full Paper) doi:10.1145/3840563.3843707

Towards Statically Reasoning about R Vectors
Manuel Di Agostino, Florian Sihler, Vincenzo Arceri, Oliver Gerstl, and Matthias Tichy
(University of Parma, Italy; Ulm University, Germany)

Article Search Article: splashws26nsadmain-p38-p (type: Full Paper) doi:10.1145/3840563.3843708

Appendix of "Towards Statically Reasoning about R Vectors": Appendix of "Towards Statically Reasoning about R Vectors"

Quantum Computing and Static Analysis: State of the Art and Research Opportunities
Greta Dolcetti, Giulio Zizzo, Vincenzo Arceri, Sergio Maffeis, and Agostino Cortesi
(Ca' Foscari University of Venice, Italy; IBM Research, Ireland; University of Parma, Italy; Imperial College London, UK)

Article Search Article: splashws26nsadmain-p82-p (type: Full Paper) doi:10.1145/3840563.3843709

Minimal Comparison of Octagonal Abstract Domains
Kenny Ballou and Elena Sherman
(California State University, San Marcos, USA; Boise State University, USA)

Article Search Article: splashws26nsadmain-p85-p (type: Full Paper) doi:10.1145/3840563.3843710

proc time: 0.02