June 15, 2011 - NSAD 2011 (The Third International Workshop on Numerical and Symbolic Abstract Domains)
NSAD 2011
The Third International Workshop on Numerical and Symbolic Abstract Domains
A SAS 2011 satellite workshop.
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 Third International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field.
Scope
The program of NSAD 2011 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
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.
Organizers
Program Co-Chairs
| Damien Massé | Université de Bretagne Occidentale, France |
| Laurent Mauborgne | IMDEA Software Institute, Spain |
Program Committee
| Elvira Albert | Complutense University of Madrid, Spain |
| Xavier Allamigeon | INRIA, France |
| Enric Rodriguez Carbonell | Technical University of Catalonia, Spain |
| Bor-Yuh Evan Chang | Univeristy of Colorado, USA |
| Dino Distefano | Queen Mary University of London, UK |
| Andy King | University of Kent, UK |
| Colas Le Guernic | New York University, USA |
| Antoine Miné | École normale supérieure, France |
| Michaël Monerau | École normale supérieure, France |
| Enea Zaffanella | University of Parma, Italy |
Local Arrangement Chair
| Gilberto Filé | University of Padova, Italy |
Steering Committee
| Radhia Cousot | École normale supérieure & CNRS, France |
| Laurent Mauborgne | IMDEA Software Institute, Spain |
| Matthew Might | University of Utah, USA |
Program
Previous Workshops
Document Actions