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.). 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 of The 8th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field. This year's edition will be more open to work in progress, and contributions coming from other close communities such as constraint solving, compilation, worst-case execution time communities, will be welcome.
NSAD 2019 will be co-located with SAS 2019.
The technical program of TAPAS 2019 will consist of invited lectures together with presentations, based on submitted extended abstracts.
Submissions can cover any aspect of numerical and symbolic abstract domains, such that:
Please submit your abstract via the NSAD 2019 author interface of EasyChair.
Instructions will come later!
Please see the main SAS page for details.
Gonnord, Université de Lyon, France (chair)
*** coming soon ***