[TYPES/announce] SAS 2017 - Call for Papers

[Urban Caterina]

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

                               SAS 2017

                    24th Static Analysis Symposium

           New York City, NY, August 30th-September 1st, 2017

             	   http://staticanalysis.org/sas2017

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

OBJECTIVE
Static Analysis is widely 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 24th
International Static Analysis Symposium, SAS 2017, will be held at New
York University, New  York City, NY, USA. Previous  symposia were held
in   Edinburgh,  Saint-Malo,   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  2017 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 
- Automated deduction
- Data flow analysis 
- Debugging 
- Deductive methods
- Emerging applications 
- Model checking 
- Program optimization and transformation 
- Program synthesis
- Program verification 
- Security analysis 
- Tool environments and architectures
- Theoretical frameworks 
- Type checking

PAPER SUBMISSION
Submissions   can   address   any  programming   paradigm,   including
concurrent,     constraint,     functional,     imperative,     logic,
object-oriented,    aspect,   multi-core,    distributed,   and    GPU
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 18 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 through easychair: 
https://easychair.org/conferences/?conf=sas2017

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.

IMPORTANT DATES 
- Abstract submission: April 14, 2017 (anywhere on earth) 
- Full paper submission: April 20, 2017 (anywhere on earth) 
- Artifact submission: April 25, 2017 (anywhere on earth) 
- Author notification: June 12, 2017 
- Final version due: July 5, 2017 
- Conference: August 30 - September 1, 2017

CONFERENCE VENUE
The conference  will be held  in the Forbes  Building of the  New York
University, 60 Fifth Avenue, New York City.

RADHIA COUSOT AWARD
Since 2014,  the program  committee of each  SAS conference  selects a
paper  for the  Radhia Cousot  Young Researcher  Best Paper  Award, in
memory of Radhia  Cousot, and her fundamental  contributions to static
analysis, as well as being one of the main promoters and organizers of
the SAS series of conferences.

SPECIAL ISSUE
Full versions of  a selection of accepted papers, to  be determined by
the  program  committee, will  be  invited  for submission  to  Formal
Methods in System Design journal.

INVITED SPEAKERS
Alex Aiken (Stanford University, USA)
Francesco Logozzo (Facebook, USA)
Peter Müller (ETH Zurich, Switzerland)

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

PROGRAM CHAIR
Francesco Ranzato (University of Padova, IT) 

PROGRAM COMMITTEE 
Elvira Albert (Complutense University of Madrid, ES)
Jade Alglave (University College London, UK)
Josh Berdine (Facebook, UK)
Aleksandar Chakarov (University of Colorado Boulder, USA)
Liqian Chen (National University of Defense Technology, CN)
Maria Christakis (University of Kent, UK)
Pierre Ganty (Imdea, ES)
Alberto Griggio (FBK, IT)
Arie Gurfinkel (University of Waterloo, CA)
Thomas Jensen (INRIA, FR)
Laura Kovacs (Vienna University of Technology, AT)
Ana Milanova (Rensselaer Polytechnic Institute, USA)
Anders Moeller (Aarhus University, DK)
Kedar Namjoshi (Bell Labs Nokia, USA)
Andreas Podelski (University of Freiburg, DE)
Xavier Rival (CNRS/ENS/INRIA, FR)
Ilya Sergey (University College London, UK)
Harald Sondergaard (The University of Melbourne, AU)
Fausto Spoto (University of Verona/Julia, IT)
Caterina Urban (ETH Zurich, CH)
David Van Horn (University of Maryland, USA)
Arnaud J. Venet (Facebook, USA)
Eran Yahav (Technion, IL)

LOCAL CHAIR
Patrick Cousot (New York University, USA)

PUBLICITY CHAIR
Caterina Urban (ETH Zurich, CH)