[Caml-list] TAPAS Call for Papers

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

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs