10th Workshop on Tools for Automatic Program Analysis
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
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.
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.
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.
, 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.
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.
Contributed papers accepted for presentation at the workshop:
Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore and Mikolas Janota
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.
- 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
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