TAPAS 2019

10th Workshop on Tools for Automatic Program Analysis

October 8
Porto, Portugal

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), Edinburgh, UK (2016), New York, NY, USA (2017), and Freiburg, Germany (2018).

TAPAS 2019 will be co-located with SAS 2019 and FM 2019.

Scope

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

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.

Proceedings and post-proceedings

The workshop will have informal proceedings, posted on its web page.

Revised versions of selected papers will be published after the workshop by Springer in a volume of its Lecture Notes in Computer Science (LNCS), which will collect contributions to some workshops and symposia co-located with FM 2019. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the workshop.

Invited Speakers

Pascal Lacabanne, Airbus
Pascal Lacabanne is an avionics software engineer at Airbus. He is a member of the software engineering team responsible for defining and supporting the methods and tools used by internal operational avionics software development teams. He is currently in charge of the deployment of static analysis tools into the latest industrial development processes. He joined Airbus in 2016. Before that, he has been working for 4 years on operational research at ifrSKEYES, a software company developing aircraft maintenance solutions. As a first experience, he has been working for 3 years on computational fluid dynamics based on lattice Boltzmann methods at CS, an IT service company.
Bernard Schmidt, Bosch
Bernard Schmidt is a research engineer in the Verification and Validation Group in Corporate Research at Robert Bosch GmbH. He works on static code analysis and formal methods and incorporating them into industrial development processes. He joined Bosch in 2014. Before he worked for 7 years on formal verification of hardware dependent software at the University of Kaiserslautern. He holds a Dipl.-Ing. degree in computer engineering where he first met the topic of formal verification of digital hardware.

Submission instructions

Please submit your regular paper (12-15+ pages), short paper (6-8+ pages), or extended abstract (2 pages), in LNCS style, 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.

Resubmissions or updates for post-proceedings:
Preference will be given to full papers. There is no hard upper page limit; authors should not try to squeeze papers with various tricks as the final editing by Springer may lengthen a paper unexpectedly.

Accepted papers

Contributed papers accepted for presentation at the workshop:

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikolas Janota
Christophe Alias
Isabel Garcia-Contreras, Jose F. Morales and Manuel V. Hermenegildo
Felipe R. Monteiro, Mikhail R. Gadelha and Lucas Cordeiro
Robert Husák, Jan Kofron and Filip Zavoral
Goran Piskachev, Tobias Petrasch, Johannes Späth and Eric Bodden
Deni Raco, Bernhard Rumpe and Sebastian Stüber

Final papers selected for publication in the post-proceedings will be announced after the workshop.

Important Dates

  • Submission deadline: 4 July 18 July 2019 (extended)
  • Notification of acceptance: 2 August 15 August
  • Final version due: 31 August 8 September
  • Workshop: 8 October
  • Post-proceedings due: 15 November (tentative)

Venue and Registration

Please see the registration page of the FM'19 World Congress.

Program Committee

David Delmas, Airbus and Sorbonne Université, France (chair)
Fausto Spoto, Università di Verona, Italy
Caterina Urban, Inria, France
Franck Vedrine, CEA LIST, France
Jules Villard, Facebook, UK
Jingling Xue, University of New South Wales, Australia
Tomofumi Yuki, Inria, France
Sarah Zennou, Airbus, France