[TYPES/announce] Extended deadline (July 4): TAPAS 2014 - Workshop on Tools for Automatic Program Analysis

Anders Møller amoeller at cs.au.dk
Sat Jun 28 17:21:46 EDT 2014


-----------------------------------------------------------------------

                             TAPAS 2014

      Workshop on Tools for Automatic Program Analysis 2014

                     http://cs.au.dk/tapas2014/

-----------------------------------------------------------------------


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, in Munich, Germany, 
September 10, 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.


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: July 4 (extended)
 * Notification of acceptance: July 11
 * Final version due: July 25
 * Early registration: On or before July 20, 2014
 * Workshop day: September 10, 2014
 
 
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



More information about the Types-announce mailing list