Numerical and Symbolic Abstract Domains Workshop
September 11th, 2016
Objectives & Scope
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.), which have been applied to several kinds of static analyses (safety, termination, probability, etc.).
The 6th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going work and ideas in the field.
Previous workshops have been held in Munich, Germany (10 September 2014), Deauville, France (10 September 2012), Venice, Italy (13 September 2011), Perpignan, France (13 September 2010) and Paris, France (21 January 2005).
NSAD 2016 will be co-located with the 23rd Static Analysis Symposium (SAS 2016).
The program of NSAD 2016 will primarily consist of presentations of refereed papers. Contributions are welcomed on all aspects of abstract domains, including, but not limited to:
- numeric abstract domain
- symbolic abstract domains
- extrapolations and accelerations
- design of abstract transformers
- compositions and operations on abstract domains
- data structures and algorithms for abstract domains
- novel applications of abstract domains implementations
- practical experiments and comparisons