August 29, New York, NY, USA
A satellite workshop of SAS 2017
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), and Edinburgh, UK (2016).
The technical program of TAPAS 2017 will consist of invited lectures together with presentations based on submitted extended abstracts.
Please submit your abstract via the TAPAS 2017 author interface of EasyChair.
Submissions can cover any aspect of program analysis tools including, but not limited to the following: