24th Static Analysis Symposium (2017)

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

                               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)