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
Welcome from the Chairs

Invited Talk

Abstract Domains in SMT Solving for Real Algebra (Invited Talk)
Erika Abraham
(RWTH Aachen University, Germany)
Publisher's Version

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
Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu
(ENS Rennes, France; Inria, France)
Publisher's Version
Proving Array Properties using Data Abstraction
Julien Braine and Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
Publisher's Version Info

proc time: 2.33