[hofa] Fwd: SAS'13 CFP

David Van Horn dvanhorn at ccs.neu.edu
Tue Oct 30 12:36:41 PDT 2012

-------- 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/>


(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



15 March 2013



3 April 2013



20-22 June 2013


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.


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

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



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


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.

More information about the HOFA mailing list