Jun 1, 2010 - TAPAS 2010 (Tools for Automatic Program AnalysiS)
Tools for Automatic Program AnalysiS (TAPAS 2010)
A TAPAS 2010 satellite workshop.
Date: 17 September 2010.
Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France.
Objectives
In the last ten 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 be proved 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. This workshop is intended to promote discussions between specialists in all areas of program analysis and program analyzers implementation and static analysis tools users.
Submissions
The technical programme for SAS 2010 will consist of invited lectures and presentations of refereed papers.
We welcome contributions on all aspects of static analysis tools including, but not limited to:
- design and implementation of static analysis tools
- components of static analysis tools (front-ends, abstract domains, etc)
- integration of static analyzers
- experience reports on the use of static analyzers
- challenges, such as new properties to address or bottlenecks to overcome
Important Dates
| Submission Deadline | 1st June 2010 (tentative) |
| Workshop Date | 17 September 2010 |
Organizers
- Program Co-Chairs:
David Delmas Airbus France Xavier Rival INRIA & École Normale Supérieure, France - Program Committee (to be completed):
Jean-Louis Dufour SAGEM, France Eric Goubault CEA, France Gordon Haak Daimler AG, Germany Daniel Kästner Absint, Germany David Lesens Astrium, France Francesco Logozzo Microsoft Research Redmond, USA Eran Yahav IBM Watson, USA Hongseok Yang Queen Mary University of London, UK Kwangkeun Yi Seoul National University, Korea - General Co-Chairs:
Radhia Cousot École Normale Supérieure & CNRS, France Matthieu Martel Université de Perpignan Via Domitia, France - Local Arrangement Chair:
Matthieu Martel Université de Perpignan Via Domitia, France
Program
To be announced.
Document Actions