TAPAS 2015 - 6th Workshop on Tools for Automatic Program Analysis

The technical program of TAPAS 2015 will consist of invited lectures together with presentations based on submitted abstracts.
Submitted presentation abstracts can cover any aspect of program analysis tools including, but not limited to the following:
design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance)
components of static analysis tools (front-ends, abstract domains, etc.)
integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.)
reusable software infrastructure (analysis algorithms and frameworks)
experience reports on the use of static analyzers (both research prototypes and industrial tools)