SAS: Static Analysis Symposium

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
sas 2022 29th Static Analysis Symposium
Dec 5, 2022 - Dec 10, 2022 Auckland, New Zealand May 4, 2022
SAS 2021 28th Static Analysis Symposium (SAS 2021)
Oct 17, 2021 - Oct 22, 2021 Chicago (US) Apr 25, 2021
SAS 2020 Static Analysis Symposium, SAS 2020
Nov 18, 2020 - Nov 20, 2020 Chicago, Illinois, United States May 24, 2020 (May 22, 2020)
SAS 2018 25th Static Analysis Symposium
Aug 29, 2018 - Aug 31, 2018 Freiburg im Breisgau, Germany Apr 6, 2018
SAS 2017 24th Static Analysis Symposium
Aug 30, 2017 - Sep 1, 2017 New York City, USA Apr 20, 2017 (Apr 14, 2017)
SAS 2016 23rd Static Analysis Symposium
Sep 8, 2016 - Sep 10, 2016 Edinburgh Apr 10, 2016 (Apr 3, 2016)
SAS 2014 21st International Static Analysis Symposium
Sep 11, 2014 - Sep 13, 2014 Munich, Germany Mar 14, 2014 (Mar 7, 2014)
SAS 2013 Static Analysis Symposium
Jun 20, 2013 - Jun 22, 2013 Seattle, Washington Feb 3, 2013 (Jan 27, 2013)
SAS 2012 The 19th International Static Analysis Symposium
Sep 11, 2012 - Sep 13, 2012 Deauville, France Mar 23, 2012 (Mar 16, 2012)
SAS 2011 Static Analysis Symposium
Sep 14, 2011 - Sep 16, 2011 Venice, Italy Mar 18, 2011 (Mar 11, 2011)
SAS 2010 17th International Static Analysis Symposium
Sep 14, 2010 - Sep 16, 2010 Perpignan, France Mar 19, 2010 (Mar 12, 2010)
SAS 2009 Static Analysis Symposium
Aug 9, 2009 - Aug 11, 2009 Los Angeles Feb 17, 2009 (Feb 10, 2009)
SAS 2008 15th International Static Analysis Symposium
Jul 16, 2008 - Jul 18, 2008 Valencia Jan 12, 2008 (Apr 5, 2008)
 
 

Present CFP : 2022

Call for Papers

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.
Important Dates

All deadlines are AoE (Anywhere on Earth).

Full paper submission: Wednesday, May 4th, 2022
Artifact submission: Wednesday, May 18th, 2022
Author response period: Monday, June 27th, 2022 - Thursday, June 30th, 2022
Notification: Friday, July 15th, 2022
Camera ready version due: Friday, September 16th, 2022

***************************************************************************
Topics

The technical program for SAS 2022 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 techniques
Deductive methods
Emerging applications
Model checking
Data science
Program optimizations and transformations
Program synthesis
Program verification
Machine learning and verification
Security analysis
Tool environments and architectures
Theoretical frameworks
Type checking

=================================================================
Paper Submissions

All paper submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity.

Submission link: https://easychair.org/conferences/?conf=sas2022

We welcome regular papers as well as papers focusing on any of the following:

Experience with static analysis tools, Industrial Reports, and Case Studies
Tool papers
Brief announcements of work in progress
Well-motivated discussion of new questions or new areas.

We do not impose a page limit for submitted papers but we encourage brevity as reviewers have a limited time that they can spend on each paper. With the exception of experience papers, all other papers will follow a lightweight double-blind reviewing process.

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming.

Papers must be written and presented in English. A submitted paper must describe original work 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.

All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity.

Papers should follow Springer’s Lecture Notes in Computer Science (LNCS) format. The page limits exclude the bibliography and well-marked appendices. Program Committee members are not required to read the appendices, thus papers must be intelligible without them.

The review process will include a rebuttal period where authors have the opportunity to respond to preliminary reviews on the paper.

*********************************************************************************
Radhia Cousot Award

The program committee will select an accepted regular 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.


Artifacts

As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review.

==========================================================================
Submission Details
Lightweight Double-Blind Requirement

Other than experience reports, all other papers will follow a double-blind process, where author names and affiliations are hidden for initial review. Author names will be revealed to a reviewer only after their review has been submitted.

To facilitate this process, submitted papers (other than those in the first category of short papers) must adhere to the following:

(1) Author names and affiliations must be omitted and (2) References to the authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. Authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.

*************************************************************************
Short Papers Content

User experience & Industrial reports & Case studies papers describe the use of static analysis in industrial settings or in any chosen application domains. Papers in this category do not necessarily need to present original research results but are expected to contain applications of static analysis as well as a comprehensive evaluation in the chosen application domain. Such papers are encouraged to discuss the unique challenges of transferring research ideas to a real-world setting, reflect on any lessons learned from this technology transfer experience, and compare experiences with different analyzers highlighting their strengths and weaknesses.

Brief announcements of work in progress papers may describe work in progress. A submission that is not selected for regular presentation may be invited for a brief announcement.

New problems papers are an opportunity to discuss visions, challenges, experiences, problems, and impactful solutions in the field of static analysis from both a research and applications perspective. Such papers are encouraged to take assertive positions and be forward-looking, and aim for lively and insightful discussions that are influential to future research directions in static analysis.
Submission guidelines

Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers.

The corresponding author of each accepted paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
 

Related Resources

MLDM 2023   18th International Conference on Machine Learning and Data Mining
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
IJCNN 2023   International Joint Conference on Neural Networks
ISSTA 2023   The ACM SIGSOFT International Symposium on Software Testing and Analysis (First Round)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FAIML 2023   2023 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2023)
Edited Book in Springer-Verlag 2022   Call for Book Chapters-Machine Learning and Deep Learning for Time Series Processing and Analysis
CVPR 2023   The IEEE/CVF Conference on Computer Vision and Pattern Recognition
ECIR 2023   45th European Conference on Information Retrieval
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering