Tools for Automatic Program AnalysiS (TAPAS 2012)

A SAS 2012 satellite workshop.

Date: 14th September 2012.

Venue: Villa Le Cercle (Centre International de Deauville ), Deauville, France.

Registration

Now opened. Early registration stops on the 20th of July.

Invited speakers

Program

9:00-9:50 Welcome and invited talk

Sarah Zennou, EADS-IW
Pragmatic Issues about Sound Static Analyses in Real C World

Coffee Break

10:20-11:10 Session 1: Language processing for static analysis

Axel Simon, Julian Kranz and Alexander Sepp.
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language

Basile Starynkevitch.
GCC MELT - a high level domain specific language to extend the GCC compiler
(tool presentation)

11:10-12:00 Session 2: Static analyzers

Julien Henry, David Monniaux and Matthieu Moy.
PAGAI: a path sensitive static analyser

Franck Vedrine, Eric Goubault, Sylvie Putot and Tristan Le Gall.
Interactive Analysis in FLUCTUAT
(tool presentation)

Lunch Break

13:30-14:50 Session 3: SMT and static analysis

To Van Khanh and Mizuhito Ogawa.
SMT for Polynomial Constraints on Real Numbers

Mark Bradley, Franck Cassez, Thomas Given-Wilson, Ansgar Fehnker and Ralf Huuck.
High Performance Static Analysis for Industry

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck and Maximilian Junker.
GoannaSMT, A Static Analyzer with SMT-based Refinement
(tool presentation)

Coffee Break

15:20-16:10 Session 4: Termination analysis

Marianne De Michiel, Armelle Bonenfant and Hugues Casse.
Normalisation of Loops with Covariant Variables

Guillaume Andrieu, Christophe Alias and Laure Gonnord.
SToP : Scalable Termination analysis of (C) Programs
(tool presentation)

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 to 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 2012 will consist of invited lectures, presentations of refereed papers and tool presentations.

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

We also welcome presentation or demo of tools that implement original techniques and/or that contribute to disseminate static analysis techniques to a wider audience.

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 regular papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Regular 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.

Submitted tool presentations must be written in english and should not exceed 2 pages (consider them as extended abstracts). Attention will be given to the usability of the tool by external users (website, documentation, etc).

Submitted regular papers and tool presentations may include an appendix containing technical details, which reviewers may read or not, at their discretion.

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

Important Dates

Submission Deadline: 4th June 2012
Author Notification 9th July 2012
Final Version Due 7th August 2012
Workshop Date 14th September 2012

Organizers