TAPAS 2018: 9th Workshop on Tools for Automatic Program Analysis Freiburg im Breisgau, Germany, August 28, 2018 |
Conference website | http://staticanalysis.org/tapas2018 |
Submission link | https://easychair.org/conferences/?conf=tapas2018 |
Submission deadline | July 1, 2018 |
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) and New York, NY, USA (2017).
Submission Guidelines
The technical program of TAPAS 2018 will consist of invited lectures together with presentations based on submitted extended abstracts. Please submit your abstract via the TAPAS 2018 author interface of EasyChair: https://easychair.org/conferences/?conf=tapas2018
Submitted abstracts should be up to 3 pages in the two-column sub-format of the new ACM proceedings format (http://www.sigplan.org/Resources/Author/#acmart-format). Please see this template (http://www.sigplan.org/sites/default/files/acmart/current/acmart-sigplanproc-template.tex).
Important Dates
- Submission deadline: July 1, 2018
- Notification of acceptance: July 23
- Final version due: August 13
- Workshop: August 28
List of Topics
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)
Program Committee
- Josh Berdine, Facebook, UK
- Marc Brockschmidt, Microsoft Research, UK
- Samir Genaim, Universidad Complutense de Madrid, Spain
- Laure Gonnord, Université de Lyon, France
- Damien Octeau, Google Inc, USA
- Etienne Payet, Université de la Réunion, France
- Fausto Spoto (chair), Università di Verona, Italy
- Omer Tripp, Google Inc, USA
Invited Speakers
- Dino Distefano, Queen Mary University, UK: New developments in the Infer static analyzer
- Vladimir Koshelev, JetBrains: RubyMine: static analysis of Ruby on Rails applications
- Damien Octeau, Google Inc, USA: Detecting potentially harmful Android applications at scale
- Tagir Valeev, JetBrains: Data flow analysis of Java programs in IntelliJ IDEA
- Tomofumi Yuki, INRIA, France: Polyhedral static analysis for the X10 language
Contact
All questions about workshop and submissions should be emailed to Fausto Spoto (fausto.spoto@univr.it)