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 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Invited Talk

Abstract Domains in SMT Solving for Real Algebra (Invited Talk)
Erika Abraham
(RWTH Aachen University, Germany)
Article Search

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

proc time: 5.22