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).
TAPAS 2018 will be co-located with SAS 2018.
The technical program of TAPAS 2018 will consist of invited lectures together with presentations based on submitted extended abstracts.
Submissions can cover any aspect of program analysis tools including, but not limited to the following:
Please submit your abstract via the TAPAS 2018 author interface of EasyChair.
Please see the main SAS page for details.
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
Étienne Payet, Université de la Réunion, France
Fausto Spoto, Università di Verona, Italy (chair, fausto DOT spoto AT univr DOT it)
Omer Tripp, Google Inc, USA