11th Workshop on Tools for Automatic Program Analysis (TAPAS 2020)TAPAS 2020

In recent 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, 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, formal methods and static analysis tool users.

Previous workshops have been held in Perpignan, France (2010), Venice, Italy (2011), Deauville, France (2012), Seattle, WA, USA (2013), Munich, Germany (2014), Saint-Malo, France (2015), Edinburgh, UK (2016), New York, NY, USA (2017), Freiburg, Germany (2018), and Porto, Portugal (2019).

TAPAS 2020 will be co-located with OOPSLA 2020 and SAS 2020.

Call for Papers

The technical program of TAPAS 2020 will consist of invited lectures, together with presentations based on submitted papers.

Submissions 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)

This workshop welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations

Same as last year, TAPAS accepts regular papers (6+ pages), short papers (4 pages), or extended abstracts (2 pages), in the two-column sub-format of the new ACM proceedings via the TAPAS 2019 author interface of EasyChair.

All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance.