[SMT-LIB] TAPAS Call for Papers

Geoff Sutcliffe geoff at cs.miami.edu
Fri Jun 12 09:44:33 EDT 2015


                          Call for Abstracts
----------------------------------------------------------------------
        Sixth Workshop on Tools for Automatic Program Analysis

                              TAPAS 2015
----------------------------------------------------------------------

8 September 2015
Saint-Malo, France
Satellite Workshop of SAS 2015

http://research.berdine.net/tapas2015/


IMPORTANT DATES
---------------
Submission deadline   26  June,      2015
Notification          17  July,      2015
Workshop               8  September, 2015


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, and
much effort is being put into engineering the tools. This workshop is
intended to promote discussions and exchange experience between
specialists in all areas of program analysis design and
implementation, and users of static analysis tools.


SCOPE
-----

The technical program of TAPAS 2015 will consist of invited lectures
together with presentations based on submitted abstracts.

We welcome presentations on all aspects of program analysis tools
including, but not limited to the following:

  - design and implementation of static analysis tools to check, prove
    or infer properties (including practical techniques used for
    obtaining precision and performance);

  - components and other reusable infrastructure of static analysis
    tools (front-ends, abstract domains, solvers, analysis algorithms,
    frameworks, etc.);

  - integration of static analyzers (in proof assistants, test
    generation tools, IDEs, etc.);

  - experience reports on the use of static analyzers (both research
    prototypes and industrial tools);

  - challenges for static analysis tools, such as new properties to
    address or bottlenecks to overcome;

  - usability of static analysis tools (including user interfaces and
    other tools helping to exploit static analysis results); and

  - tool demonstrations, and comparisons, by tool authors or
    experienced users.


SUBMISSION
----------

Please visit the submission website:
<https://www.easychair.org/login.cgi?conf=tapas2015>.

All submitted abstracts will be reviewed by the program committee.

Submitted abstracts should be 1-2 pages.


INVITED SPEAKERS
----------------

Forthcoming.


PROGRAM COMMITTEE
-----------------

Josh Berdine         Microsoft Research (chair)
Arie Gurfinkel       Software Engineering Inst, Carnegie Mellon Univ
Jan Reineke          Saarland University
Manuel Hermenegildo  T.U. Madrid (UPM), IMDEA Software Institute
Ralf Huuck           NICTA, Univ of New South Wales, Red Lizard Software
Mihaela Sighireanu   LIAFA, University of Paris Diderot, CNRS
Laura Kovacs         Chalmers University of Technology
Andreas Podelski     University of Freiburg
Mooly Sagiv          Tel-Aviv University


More information about the SMT-LIB mailing list