[TYPES/announce] Call for Submissions: TAPAS 2016 - Workshop on Tools for Automatic Program Analysis

[Manu Sridharan]

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

                             TAPAS 2016

    The Seventh Workshop on Tools for Automatic Program Analysis
                   September 7, 2016, Edinburgh, UK

                http://staticanalysis.org/tapas2016/

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


Objective
---------

In the last fifteen 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.

TAPAS 2016 will be co-located with SAS 2016, and will take place in
Edinburgh, UK, on September 7, 2016.

Scope
-----

The technical program of TAPAS 2016 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 organizing committee.

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


Invited Speakers
----------------

Satish Chandra, Samsung Research America
Jan Midtgaard, Technical University of Denmark
Aditya Nori, Microsoft Research Cambridge
Peter O'Hearn, University College London / Facebook

Dates
-----

 * Submission deadline: July 8
 * Notification of acceptance: July 18
 * Final version due: August 2
 * Workshop day: September 7


Organizers
----------

Manu Sridharan, Samsung Research America (chair)
Sukyoung Ryu, KAIST
Ilya Sergey, University College London
Harry Xu, University of California, Irvine
Eran Yahav, Technion
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160606/c3ec7f95/attachment-0001.html>