ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

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

Date2015-09-09 - 2015-09-11

Deadline2015-05-22

VenueSaint-Malo, France France

Keywords

Websitehttp://sas2015.inria.fr

Topics/Call fo Papers

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)

Last modified: 2015-03-12 23:29:57