The Fourth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012)

10 September 2012, Deauville, France. Co-located with SAS 2012.

Accepted papers

The list of accepted papers is now available.


Registration is now open:


08:30   Coffee
09:15   Accurate Evaluation of Arithmetic Expressions.
Matthieu Martel.
Slides: [pdf]
10:15 Break
Session Chair: Axel Simon
10:45 Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
Antoine Miné.
Slides: [pdf]
11:15 Proving termination by policy iteration.
Damien Masse.
Slides: [pdf]
11:45 An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.
Eric Goubault, Tristan Le Gall and Sylvie Putot.
Slides: [pdf]
12:15 Lunch
La Flambée
81, rue du Général Leclerc
Session Chair: Pascal Sotin
14:15 Generic Abstraction of Dictionaries and Arrays.
Jędrzej Fulara.
Slides: [pdf]
14:45 The abstract domain of parallelotopes.
Francesca Scozzari and Gianluca Amato.
Slides: [pdf] [odp]
15:15 Break
Session Chair: Xavier Rival
15:45 Access-Based Localization for Octagons.
Eva Beckschulze, Joerg Brauer and Stefan Kowalewski.
Slides: [pdf]
16:15 TreeKs: A Functor to make Numerical Abstract Domains Scalable.
Mehdi Bouaziz.
Slides: [pdf]


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 Fourth International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going work and ideas in the field.

NSAD 2012 will be co-located with SAS 2012.


The program of NSAD 2012 will primarily consist of presentations of refereed papers. Contributions are welcomed on all aspects of abstract domains, including, but not limited to:

  • 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


All submitted papers will be peer-reviewed by the program committee.

Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion. Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.

The NSAD 2012 proceedings will be published electronically in a volume of the Electronic Notes in Theoretical Computer Science series by ScienceDirect©, Elsevier.

To submit a paper, follow this link:

Important dates

Submission deadline: 6 June 2012 16 June 2012
Notification: 15 July 2012
Final version: 7 August 2012
Workshop: 10 September 2012


Program Co-Chairs

Jan Midtgaard, Aarhus University
Matt Might, University of Utah

Program Committee

John Gallagher, Roskilde University / IMDEA-Software Institute
Patricia M. Hill, BUGSENG / University of Leeds
Isabella Mastroeni, Verona University
Xavier Rival, INRIA Roquencourt / ENS Paris
Axel Simon, Technical University Munich
Pascal Sotin, ENS Paris
David Van Horn, Northeastern University

Previous workshops

  • NSAD'11, Venice, Italy, 13 September 2011
  • NSAD'10, Perpignan, France, 13 September 2010
  • NSAD'05, Paris, France, 21 January 2005