[an error occurred while processing this directive]

Tools for Automatic Program AnalysiS (TAPAS 2010)

A SAS 2010 satellite workshop.

Date: 17 September 2010.

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

New: Online version of slides

Program

List of accepted papers

Objectives

In the last ten years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties be proved or checked in a fully or semi automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly. This workshop is intended to promote discussions between specialists in all areas of program analysis and program analyzers implementation and static analysis tools users.

Scope

The technical programme for TAPAS 2010 will consist of invited lectures and presentations of refereed papers.

We welcome contributions on all aspects of static analysis tools including, but not limited to:

  • design and implementation of static analysis tools
  • components of static analysis tools (front-ends, abstract domains, etc)
  • integration of static analyzers
  • experience reports on the use of static analyzers
  • challenges, such as new properties to address or bottlenecks to overcome

Submissions

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 (http://www.entcs.org/prelim.html). 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.

Important Dates

Abstracts submission Deadline 1st June 2010
Full papers submission Deadline 4th June 2010
Author Notification 2nd July 2010
Final Version Due 1st August 2010
Workshop Date 17 September 2010

Organizers

Invited speakers

Program

9:00-10:00 Welcome and invited talk

Manuel Hermenegildo, Imdea Software Institute and UPM, Spain.
Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP

Coffee Break

10:30-12:00 Session 1

Bertrand Jeannet.
Some Experience on the Software engineering of Abstract Interpretation Tools

Arnault Ioualalen.
SARDANA: an abstract interpretation based tool for Optimization of numerical expressions in LUSTRE programs

Paul Feautrier and Laure Gonnord.
Accelerated Invariant Generation for C Programs with Aspic and C2fsm

Lunch Break

13:45-14:45 Invited talk

Gérard Ladier, Airbus and Aerospace Valley, France.
Software aspects of aeronautical certification and static analysis tools

14:45-15:15 Session 2

Michael Dierkes.
Analysis of a triplex sensor voter at Rockwell Collins France

Coffee Break

15:45-17:15 Session 3

Cosimo Laneve, Tudor Lascu and Vania Sordoni.
The interval analysis of multilinear expressions

Pierre Roux, Rémi Delmas and Pierre-Loic Garoche.
SMT-AI: an Abstract Interpreter for a Synchronous Extension of SMT-lib

Piotr Filipiuk, Hanne Riis Nielson and Flemming Nielson.
A tool suite for solving ALFP constraints