posted by user: hossein_haeri || 1831 views || tracked by 5 users: [display]

TAPAS 2014 : The Fifth Workshop on Tools for Automatic Program Analysis

FacebookTwitterLinkedInGoogle

Link: http://cs.au.dk/tapas2014/
 
When Sep 10, 2014 - Sep 10, 2014
Where Munich, Germany
Submission Deadline Jun 27, 2014
Notification Due Jul 11, 2014
Final Version Due Jul 25, 2014
Categories    static analysis tools   reusable software infrastructu
 

Call For Papers

TAPAS 2014
The Fifth Workshop on Tools for Automatic Program Analysis
September 10, 2014
Munich, Germany


Objective

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 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), and Seattle, WA, USA (2013).

TAPAS 2014 will be co-located with SAS 2014.


Scope

The technical program of TAPAS 2014 will consist of invited lectures together with presentations based on submitted abstracts.

Submitted presentation abstracts 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)


Submission of Presentation Abstracts

All submitted abstracts will be reviewed by the program committee.

Submitted abstracts should be 1-2 pages, and use the ACM proceedings format.

Submissions will be handled online. Information on the submission procedure will be provided here in due course.


Invited Speakers

Alexey Loginov, GrammaTech
David Pichardie, ENS Cachan
Eric Bodden, Fraunhofer SIT, Technische Universität Darmstadt
Yannis Smaragdakis, University of Athens
Werner Dietl, University of Waterloo
Dates
Submission deadline: June 27
Notification of acceptance: July 11
Final version due: July 25
Early registration: On or before July 20, 2014
Workshop day: September 10, 2014
Venue, Registration, and Accommodation

Please refer to the SAS 2014 website.


Organizers

Anders Møller, Aarhus University (chair)
Ondrej Lhotak, University of Waterloo
Antoine Miné, École Normale Supérieure
Manu Sridharan, Samsung Research America
Hongseok Yang, University of Oxford

Related Resources

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
COSADE 2023   The 14th International Workshop on Constructive Side-Channel Analysis and Secure Design
PAVeTrust 2022   2nd Workshop on Program Analysis and Verification on Trusted Platforms
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
ISSTA 2023   The ACM SIGSOFT International Symposium on Software Testing and Analysis (First Round)
Edited Book in Springer-Verlag 2022   Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
ICTAI 2022   34th International Conference on Tools with Artificial Intellignce
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies