TAPAS 2017

8th Workshop on Tools for Automatic Program Analysis

August 29, New York, NY, USA

A satellite workshop of SAS 2017

Objective

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 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), and Edinburgh, UK (2016).

Scope and Submission Guidelines

The technical program of TAPAS 2017 will consist of invited lectures together with presentations based on submitted extended abstracts.

Please submit your abstract via the TAPAS 2017 author interface of EasyChair.

Submitted abstracts should be up to 3 pages in the two-column sub-format of the new ACM proceedings format . Please see this template.

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)

Important Dates

  • Submission deadline: June 26
  • Notification of acceptance: July 24
  • Final version due: August 22
  • Workshop: August 29

Organization

Program Chair

Thomas Wies (NYU, USA)

Program Committee

Michael Emmi (Nokia Bell Labs, USA)
Samir Genaim (UCM, Spain)
Arie Gurfinkel (University of Waterloo, Canada)
Laura Kovacs (TU Wien, Austria)
Isabella Maestroni (University of Verona, Italy)
Antoine Miné (UPMC University, France)
Damien Zufferey (MPI-SWS, Germany)

Local Chair

Patrick Cousot (NYU, USA)

Venue and Registration

Please see the SAS 2017 website for details.