T A P A S        2    0    1    2

First   Call  for  Papers

The 3th Tools for Automatic Program AnalysiS
workshop
(a SAS 2012 satellite workshop)

14 September 2012, Deauville, France

http://tapas2012.inrialpes.fr

Important dates

Submission deadline     1 June 2012 (23h59 GMT)
Notification            9 July 2012
Camera-ready            7 August 2012
Conference              14 September 2012


Objective

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 regular paper and tool presentations.

We welcome regular papers 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 (in proof assistants, test
generation tools, etc)
- experience reports on the use of static analyzers
- challenges, such as new properties to address or bottlenecks to
overcome

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

Submissions


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
(http://www.entcs.org/prelim.html). 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. Attention will be given to the usability of
the tool by external users (website, documentation, etc).

Submitted 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.

Program Chair

Bertrand Jeannet    INRIA, France

Program Committee

Gogul Balakrishnan    NEC Laboratories America, USA
Bor-Yuh Evan Chang     University of Colorado Boulder, USA
Laure Gonnord    University of Lille, France
Laura Kovács        TU Wien, Austria
Fausto Spoto        University of Verona, Italy
Sarah Zennou        EADS-IW, Suresnes, France

Steering Committee

Radhia Cousot    (CNRS & Ecole normale supérieure, France)
Xavier Rival        (INRIA & Ecole normale supérieure, France)

Affiliated Events

NSAD: The 4th Workshop on Numerical and Symbolic Abstract Domains
10 September 2012

SASB: The 3rd Workshop on Static Analysis and Systems Biology
10 September 2012

SAS : The 19th International Static Analysis Symposium
11-13 September 2012

Venue

SAS  2012  and  affiliated  events will take place in  Deauville,
France, at la Villa Le Cercle, at  20mn  walking  time  from  the
train station and 100m from the beach. Deauville is at only 200km
from Paris and 2h by train (departing several times  a  day  from
Gare  Saint Lazare). Deauville is famous for its beach, its race-
courses, its casino, and the American Film  Festival  (held  just
before the conference).