[TYPES/announce] First CfP: SAS 2015 (22nd Int. Static Analysis Symposium)

Thomas Jensen Thomas.Jensen at inria.fr
Fri Dec 19 11:24:39 EST 2014


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

                              SAS 2015

                   Static Analysis Symposium 2015
                       
			Saint-Malo, France

                           Call for Papers

            	       http://sas2015.inria.fr

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


Objective
---------

Static Analysis is increasingly recognized as a fundamental tool for
program verification, bug detection, compiler optimization, program
understanding, and software maintenance. The series of Static Analysis
Symposia has served as the primary venue for the presentation of
theoretical, practical, and application advances in the area. The 22nd 
International Static Analysis Symposium, SAS 2015, will be held in
Saint-Malo, France. Previous symposia were held in Munich, Seattle, Deauville,
Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul,
London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen,
Glasgow, and Namur.


Topics
------

The technical program for SAS 2015 will consist of invited lectures
and presentations of refereed papers. Contributions are welcomed on
all aspects of static analysis, including, but not limited to:

     * Abstract domains         * Abstract interpretation
     * Abstract testing         * Bug detection
     * Data flow analysis       * Model checking
     * Compilation          	* Program transformation
     * Program verification     * Security 
     * Theoretical frameworks   * Type checking
     * New applications		


Paper Submission 
----------------

Submissions can address any programming paradigm, including
concurrent, constraint, functional, imperative, logic,
object-oriented, aspect, multi-core, distributed, GPU and script 
programming. Papers must describe original work, be written and
presented in English, and must not substantially overlap with papers
that have been published or that are simultaneously submitted to a
journal or a conference with refereed proceedings. Submitted papers
will be judged on the basis of significance, relevance, correctness,
originality, and clarity. They should clearly identify what has been
accomplished and why it is significant. Paper submissions should not
exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS
format, excluding bibliography and well-marked appendices. Program
committee members are not required to read the appendices, and thus
papers must be intelligible without them. Submissions are handled
online. For further details please visit the above web page.


Artifact Submission
-------------------

As in previous years, we are encouraging authors to submit a virtual
machine image containing any artifacts and evaluations presented in
the paper. The goal of the artifact submissions is to strengthen our
field's scientific approach to evaluations and reproducibility of
results. The virtual machines will be archived on a permanent Static
Analysis Symposium website to provide a record of past experiments and
tools, allowing future research to better evaluate and contrast
existing work.

Artifact submission is optional. We accept only virtual machine images
that can be processed with Virtual Box. Details on what to submit and
how will be sent to the corresponding authors by mail shortly after
the paper submission deadline.

The submitted artifacts will be used by the program committee as a
secondary evaluation criteria whose sole purpose is to find additional
positive arguments for the paper's acceptance. Submissions without
artifacts are welcome and will not be penalized.


Dates
-----

  * Submission deadline: abstracts must be received by March 6, 2015,
    and complete papers by March 13, 2015.  These deadlines are
    strict; submissions where abstract or paper are received later
    will not be evaluated.

  * Artifacts must be submitted by March 27, 2015.

  * Rebuttal: May 14-17, 2015.

  * Notification of acceptance: June 1, 2015

  * Final version due: June 22, 2015

  * Early registration: On or before July 21, 2015

  * Workshop day: September 8, 2015

  * Conference: September 9-11, 2015


Program Chairs
--------------

Sandrine Blazy		 	(University of Rennes, France)
Thomas Jensen 		(INRIA, France)


Program Committee
-----------------
Elvira Albert, University of Madrid, Spain
Josh Berdine, Microsoft Research, United Kingdom
Sandrine Blazy, University of Rennes 1, France (co-chair)
Liqian Chen, National University of Defense Technology, China
Roberto Giacobazzi, University of Verona, Italy
Fritz Henglein, University of Copenhagen, Denmark
Thomas Jensen, Inria Rennes, France (co-chair)
Ranjit Jhala, University of California at San Diego, USA
Andy King, University of Kent at Canterbury, United Kingdom
Björn Lisper, Mälardalen University, Sweden
Matt Might, University of Utah, USA
Antoine Miné, CNRS, France
Francesco Ranzato, University of Padova, Italy
Sukyong Ryu, Korea Advanced Institute of Science and Technology, Korea
Dave Sands, Chalmers University of technology, Sweden
Axel Simon, University of Munich, Germany
Arnaud Venet, NASA Ames Research Center, USA
Dimitrios Vytiniotis, Microsoft Research, United Kingdom
Hongseok Yang, University of Oxford, United Kingdom


Invited speakers
-----------------
Josh Berdine, Microsoft Research
Anders Møller, Aarhus University
Henny Sipma, Kestrel


Steering Committee
------------------

Patrick Cousot		 (Ecole Normale Supérieure, France & NYU, USA)
Roberto Giacobazzi	 (University of Verona, Italy)
Gilberto File		 (University of Padova, Italy)
Manuel Hermenegildo	 (IMDEA Software Institute, Spain)
David Schmidt		 (Kansas State University, USA)


Planned Affiliated Events
-------------------------

NSAD: The 7th Workshop on Numerical and Symbolic Abstract Domains
SASB: The 6th Workshop on Static Analysis and Systems Biology
TAPAS: The 6th Workshop on Tools for Automatic Program Analysis


Venue 
----- 

In 2015, the conference will take place in St. Malo, France. St. Malo
is located on the north coast of Brittany in the western part of
France. Its outstanding landscapes and rich historical heritage make
Saint Malo a unique destination. The conference location is close to
the historic center of St. Malo and located on the water front with a
nice view of the town's spectacular coast line.



More information about the Types-announce mailing list