The Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)

A SAS 2010 satellite workshop.

Date: 13 September 2010.

Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France.

Next workshop: NSAD 2011 will take place in Venice as a satellite event of SAS 2011.

NSAD 2010 was a success! Thank you all for this great event.

The NSAD 2010 proceedings, published electronically by Elsevier are now available at ScienceDirect.

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

After a successful first NSAD co-located with VMCAI 2005 in Paris, the second NSAD will be co-located with SAS 2010 in Perpignan, France.

Scope

The program of NSAD 2010 will consist mainly 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 experimentations and comparisons

Submission

Please visit the submission website. The website is powered by EasyChair, thanks to Andrei Voronkov.

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.

Publication

The NSAD 2010 proceedings are published electronically by Elsevier in Volume 267, Issue 1 of the Electronic Notes in Theoretical Computer Science series, and are now available at ScienceDirect.

Printed proceedings were distributed at the workshop.

Important Dates

Submission Deadline	8th June 2010
Notification	14th July 2010
Final version	1st August 2010
Workshop Date	13th September 2010

Organizers

• Program Co-Chairs:

  Enric Rodríguez Carbonell	Technical University of Catalonia, Spain
  Antoine Miné	École Normale Supérieure & CNRS, France

  
  
• Program Committee:

  Julien Bertrane	École Normale Supérieure, France
  Dino Distefano	Queen Mary University of London, UK
  Bertrand Jeannet	INRIA Rhône-Alpes, France
  Andy King	University of Kent, UK
  Germán Puebla	Technical University of Madrid, Spain
  Sylvie Putot	CEA LIST, France
  Sriram Sankaranarayanan	University of Colorado, Boulder, USA
  Helmut Seidl	TU München, Germany
  Ashish Tiwari	SRI International, USA
  Enea Zaffanella	University of Parma, Italy

  
  
• General Co-Chairs:

  Radhia Cousot	École Normale Supérieure & CNRS, France
  Matthieu Martel	Université de Perpignan Via Domitia, France

  
  
• Local Arrangement Chair:

  Matthieu Martel

  Université de Perpignan Via Domitia, France

Invited Speaker

• David Pichardie, INRIA Rennes, France

Program

8h30-9h00: Welcome

9h00-10h00: Invited Talk

• David Pichardie. (Partially) Certified Abstract Domains.

10h30-12h10: Session 1: Numerical and Symbolic Domains

• Edd Barrett and Andy King. Range and Set Abstraction using SAT.
• Pascal Sotin, Bertrand Jeannet and Xavier Rival. Concrete Memory Models for Shape Analysis.
• Matt Elder, Denis Gopan and Thomas Reps. View-Augmented Abstractions.
• Jacob Howe, Andy King and Charles Lawrence-Jones. Quadtrees as an Abstract Domain.

14h00-15h15: Session 2: Fixpoint Methods

• Olivier Bouissou, Alexandre Chapoutot and Yassamine Seladji. Abstract Fixpoint Computations with Numerical Acceleration Methods.
• Peter Schrammel and Bertrand Jeannet. Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs.
• Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti and Fabrizio Marinelli. Static analysis by abstract interpretation: a Mathematical Programming approach.

15h45-17h25: Session 3: Affine Analyses

• Axel Simon. A Note on the Inversion Join for Polyhedral Analysis.
• Corinne Ancourt, Fabien Coelho and François Irigoin. A Modular Static Analysis Approach to Affine Loop Invariants Detection.
• Jędrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk and Aleksy Schubert. Relational Abstract Domain of Weighted Hexagons.
• Axel Simon. Speeding up Polyhedral Analysis by Identifying Common Constraints.

17h25: Concluding Remarks

Sponsors