Write a Blog >>
SPLASH 2020
Sun 15 - Fri 20 November 2020 Chicago, Illinois, United States

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

Call for Papers

The 9th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 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 (link TBA). 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 regular papers will be published by ACM and will be available via the ACM Digital Library. One of the co-authors is expected to present the paper during the workshop.

Short papers and extended abstracts will not be published in the ACM DL, and will only appear on the web site. Publication of short papers and extended abstracts at NSAS 2020 is not intended to preclude later publication elsewhere.

Important Dates

  • Submission deadline for regular paper: September 4, 2020 (AoE)
  • Submission deadline for short paper or extended abstract: September 18, 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.

Program Committee

(TBA)

Questions? Use the NSAD contact form.