TAPAS 2013 - The Fourth Workshop on Tools for Automatic Program Analysis

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 proven 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 design and implementation and static analysis tool users.
Scope
The technical program for TAPAS 2013 will consist of invited lectures from leading experts in analysis design and implementation and contributed presentations of Analyzer Pearls.
Analyzer Pearls can cover any aspect of program analysis tools including, but not limited to the following
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; or
proposals that contribute to the dissemination of static analysis techniques to a wider audience.