[hofa] Fwd: SAS'13 CFP

[David Van Horn]

-------- Original Message --------
Subject: 	SAS'13 CFP
Date: 	Tue, 30 Oct 2012 18:28:36 +0000
From: 	Francesco Logozzo <logozzo at microsoft.com>


   SAS 2013

The 20th International Static Analysis Symposium

20-22 June 2013, Seattle, WA

Co-located with PLDI'13 <http://pldi2013.ucombinator.org/>

http://research.microsoft.com/sas2013/

(My apologies for multiple postings)


     Important dates

Abstract submission

	

27 January 2013 (23h59 PST)

Full paper submission

	

3 February 2013 (23h59 PST)

Virtual machine

	

17 February 2013

Notification

	

15 March 2013

Camera-ready

	

3 April 2013

Conference

	

20-22 June 2013


     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 20th
International Static Analysis Symposium, SAS 2013, will be held in
Seattle, WA, USA, co-located with the ACM Conference on Programming
Language Design and Implementation. Previous symposia were held in
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 2013 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

New applications

	

Program transformation

Program Verification

	

Security analysis

Theoretical frameworks

	

Type checking

Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative,   logic, object-oriented, aspect,
multi-core, distributed, and GPU programming.  Survey papers, that
present some aspect of the above   topics with a new coherence, and
application papers, that describe experience with industrial
applications, are also welcomed.


     Submission Information

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 20 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.


     Artifact Submission

New this year, 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.  Details on what to submit and how will
be forthcoming.

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.


     Program Chairs

Francesco Logozzo

	

Microsoft Research Redmond, USA

Manuel Fahndrich

	

Microsoft Research Redmond, USA


     Program Committee

Ana Milanova

	

Rensselaer Polytechnic Institute, USA

Anindya Banerjee

	

IMDEA Software Institute, Spain

Antoine Miné

	

CNRS & Ecole Normale Supérieure, France

Arie Gurfinkel

	

SEI Carnegie Mellon, USA

Atsushi Igarashi

	

Kyoto University, Japan

Elvira Albert

	

Complutense University of Madrid, Spain

Enea Zaffanella

	

University of Parma and BUGSENG srl,, Italy

Franjo Ivancic

	

NEC Laboratories America, USA

Helmut Seidl

	

TU Muenchen, Germany

Hongseok Yang

	

University of Oxford, UK

Isil Dillig

	

College of William & Mary, USA

John Boyland

	

University of Wisconsin-Milwaukee, USA

Mila Dalla Preda

	

University of Bologna, Italy

Mooly Sagiv

	

Tel Aviv University, Israel

Nicolas Halbwachs

	

CNRS/VERIMAG, France

Olin Shivers

	

Northeastern University, USA

Ranjit Jhala

	

UC San Diego, USA

Wei-Ngan Chin

	

National Univ of Singapore

Werner Dietl

	

University of Washington, USA


     Steering Committee

Patrick Cousot

	

Ecole Normale Superieure, France & NYU, USA

Radhia Cousot

	

CNRS & Ecole Normale Superieure, France

Roberto Giacobazzi

	

University of Verona, Italy

Gilberto File

	

University of Padova, Italy

Manuel Hermenegildo

	

IMDEA Software Institute, Spain

David Schmidt

	

Kansas State University, USA


     Affiliated Events

      NSAD: The 5th Workshop on Numerical and Symbolic Abstract Domains

            19 June 2013

      SASB: The 4th Workshop on Static Analysis and Systems Biology

            19 June 2013

      TAPAS: The 4th Workshop on Tools for Automatic Program Analysis

             19 June 2013


     Venue

SAS 2013 and  its affiliated events are co-located  with ACM PLDI 2013
and  will take  place at the  Red Lion  Hotel on 5th  Ave in downtown
Seattle,  WA.  Seattle,  home  to  Amazon,  Starbucks, Microsoft, and
Boeing is  famous for its coffee houses  and its beautiful surroundings
such as the Puget Sound  and its numerous islands,  as well as  the
Olympic  Peninsula and  nearby Cascades mountains.