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 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.
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.
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.
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:
2 August 15 August
- Final version due:
31 August 8 September
- Workshop: 8 October
- Post-proceedings due: 15 November (tentative)
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