NSAD 2020

Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.) on a variety of systems (hardware, software, neural networks, etc.). The goal of NSAD workshop is to discuss work in progress, recent advances, novel ideas, experiences in the theory, practice, application, implementation, and experimentation related to abstract domains and/or their combination. This year’s edition in particular welcomes abstract domains related and/or applied to analyzing neural networks, dynamical and hybrid systems.

Previous workshops have been held in

• NSAD 2019. Porto, Portugal (2019),
• NSAD 2017. New York, NY, USA (2017),
• NSAD 2016. Edinburgh, UK (2016),
• NSAD 2014. Munich, Germany (2014),
• NSAD 2012. Deauville, France (2012),
• NSAD 2011. Venice, Italy (2011),
• NSAD 2010. Perpignan, France (2010),
• NSAD 2005. Paris, France (2005).

Accepted Papers

Call for Papers

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

November 17, 2020

Co-located with The 27th Static Analysis Symposium (SAS 2020)

SPLASH 2020, November 15-20, Chicago, Illinois, United States

Objectives

Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.) on a variety of systems (hardware, software, neural networks, etc.). The goal of NSAD workshop is to discuss work in progress, recent advances, novel ideas, experiences in the theory, practice, application, implementation, and experimentation related to abstract domains. This year’s edition in particular welcomes abstract domains related and/or applied to analyzing neural networks, dynamical and hybrid systems.

Previous workshops have been held in Paris, France (2005), Perpignan, France (2010), Venice, Italy (2011), Deauville, France (2012), Munich, Germany (2014), Edinburgh, UK (2016), New York, NY, USA (2017), and Porto, Portugal (2019).

Scope

The technical program of NSAD 2020 will consist of invited lectures together with presentations, based on submitted regular papers, short papers or extended abstracts.

Submissions can cover any aspect of numerical and symbolic abstract domains, such that:

• Cases studies or problem statements coming from close communities
• Numeric abstract domains
• Symbolic abstract domains
• Extrapolations and accelerations
• Compositions and operations on abstract domains
• Data structures and algorithms for abstract domains
• Novel applications of abstract domains implementations
• Practical experiments and comparisons
• Implementations aspects

Submission instructions

We invite submissions in the following two categories:

1. Regular paper (6-10 pages including references): These submissions should describe work that advances the current state of the art in the above or related areas.

2. Short paper or extended abstract (2-5 pages including references): These submissions could describe work in progress, tools, experiments, overviews or improvements over existing work, in the above or related areas.

Submissions have to be made online using ACM style via the NSAD 2020 author interface of HotCRP (https://nsad2020.hotcrp.com). For the format, please use the SIGPLAN acmart style for all papers: http://www.sigplan.org/Resources/Author/.

All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance.

Proceedings

All accepted papers will be considered for publication by ACM and will be available via the ACM Digital Library, except if the authors prefer not to be included. One of the co-authors is expected to present the paper during the workshop.

Important Dates

• Submission deadline for regular paper: September 4, 2020 (AoE), September 14th, 2020 (AoE)
• Submission deadline for short paper or extended abstract: September 18, 2020 (AoE), September 20, 2020 (AoE)
• Notification of acceptance: September 30, 2020
• Camera ready due: October 9, 2020 (AoE)

Venue and Registration

Please see the main SPLASH 2020 page for details.