TAPAS 2019

10th Workshop on Tools for Automatic Program Analysis

October 8
Porto, Portugal

Discuss on #tapas19.


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.


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's informal proceedings are available from this 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, France: Transforming development processes of avionics software with formal methods
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, Germany: Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry
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.
Enea Zaffanella, University of Parma, Italy: Some thoughts on the design of abstract domains (shared with NSAD)
Enea Zaffanella is Associate Professor in Computer Science at the University of Parma (Italy). His research work has been focusing on the development and improvement of abstract domains for static analysis and verification tools, including both symbolic domains (in particular, for the analysis of variable sharing in logic languages) and numeric domains (in particular, efficient representations and algorithms for NNC polyhedra and new widening operators for several polyhedral domains). He has been one of the original founders of BUGSENG (a spin-off of the University of Parma, developing tools for static analysis) and he is one of the main developers of PPL (Parma Polyhedra Library). More recently, he is experimenting new ideas in the PPLite library.

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:
Authors may update or resubmit their paper any time, but no later than 5 November. There will be one more round of reviewing. If authors would like their update/resubmission to be reviewed for acceptance in the post-proceedings before 5 November, they should send a request by e-mail. They may use this e-mail to explain what changes were made to answer the concerns of previous reviews. Authors will then be notified as soon as possible, but no later than 29 November.
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 (presentation): 2 August 15 August
  • Workshop: 8 October
  • Post-proceedings due: 5 November
  • Notification of acceptance (post-proceedings): 29 November (possibly earlier on request.)
  • Final version (post-proceedings): 2 December

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