SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020), November 17, 2020, Virtual, USA

NSAD 2020 – Proceedings

 Contents - Abstracts - Authors

9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020)

Frontmatter

Title Page
Article: splashws20nsadforeword-fm000-p doi:
Welcome from the Chairs
Article: splashws20nsadforeword-fm001-p doi:

Invited Talk

Abstract Domains in SMT Solving for Real Algebra (Invited Talk)
Erika Abraham
(RWTH Aachen University, Germany)
Publisher's Version Article: splashws20nsadmain-p7-p doi:10.1145/3427762.3430180

Papers

Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
Publisher's Version Article: splashws20nsadmain-p1-p doi:10.1145/3427762.3429453
Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu
(ENS Rennes, France; Inria, France)
Publisher's Version Article: splashws20nsadmain-p2-p doi:10.1145/3427762.3430178
Proving Array Properties using Data Abstraction
Julien Braine and Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
Publisher's Version Article: splashws20nsadmain-p5-p doi:10.1145/3427762.3430179

proc time: 0.85