Ranking & Metrics Conference Call for Papers Other Conferences in United States
29th Static Analysis Symposium (SAS 2022)

29th Static Analysis Symposium (SAS 2022)

Auckland , New Zealand

Submission Deadline: Wednesday 04 May 2022

Conference Dates: Dec 05, 2022 - Dec 10, 2022

Research
Impact Score 1.30

OFFICIAL WEBSITE

Conference Organizers: Deadline extended?
Click here to edit

Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing the best scientists in addition to the h-index estimated from the scientific papers published by the best scientists. See more details on our methodology page.

Research Impact Score: 1.30
Contributing Best Scientists: 8
H5-index:
Papers published by Best Scientists 13
Research Ranking (Computer Science) 353
Research Ranking (Electronics and Electrical Engineering) 186

Conference Call for Papers

SAS 2022 Papers: Call for Papers
View track page for all details
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 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
Distributed or networked systems
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 in the NEAT (New questions/areas, Experience, Announcement, Tool) category:

Well-motivated discussion of new questions or new areas,
Experience with static analysis tools, Industrial Reports, and Case Studies,
Brief announcements of work in progress,
Tool papers.
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. All regular papers will follow a lightweight double-blind reviewing process. The identity of the authors for the remaining papers will be known to the reviewers.

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. 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 the paper review.

Submission Details
Lightweight Double-Blind Requirement
All regular 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 regular 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 papers as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.

NEAT Papers Content
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.

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.

Submission guidelines
Authors should consult Springer’s authors’ guidelines and use their proceedings templates, for LaTeX, Overleaf, or 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.

Overview

Top Research Topics at Static Analysis Symposium?

  • Theoretical computer science (12.73%)
  • Algorithm (11.86%)
  • Programming language (10.74%)

The discussions in the conference mainly cover the fields of Theoretical computer science, Algorithm, Programming language, Abstract interpretation and Program analysis. It focuses on Abstract interpretation but the discussions also offer insight into other areas such as Semantics (computer science) and Static analysis.

What are the most cited papers published at the conference?

  • Using Slicing to Identify Duplication in Source Code (462 citations)
  • Precise analysis of string expressions (405 citations)
  • Checking interference with fractional permissions (389 citations)

Research areas of the most cited articles at Static Analysis Symposium:

The most cited publications are mainly concerned with subjects like Algorithm, Theoretical computer science, Program analysis, Abstract interpretation and Programming language. The published articles explore research in Pointer (computer programming) and overlapping concepts in Recursion to expand the discourse in Algorithm. While work presented in the published articles provide substantial information on Theoretical computer science, it also covers topics in Finite-state machine, Alias analysis and Symbolic execution.

What topics the last edition of the conference is best known for?

  • Programming language
  • Artificial intelligence
  • Algorithm

The previous edition focused in particular on these issues:

The conference focuses on Theoretical computer science, Algorithm, Abstract interpretation, Programming language and Program analysis. Model checking is a major topic of Theoretical computer science research presented in the conference. The studies in Abstract interpretation featured incorporate elements of Semantics and Semantics (computer science).

Static analysis, Functional programming and Compiler are all aspects of Programming language discussed in it. Topics in Program analysis explored in the event were investigated in conjunction with research in Program optimization and Logical programming.

The most cited articles from the last conference are:

  • Using Slicing to Identify Duplication in Source Code (462 citations)
  • Precise analysis of string expressions (405 citations)
  • Checking interference with fractional permissions (389 citations)

Papers citation over time

A key indicator for each conference is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

Research.com

The top authors publishing at Static Analysis Symposium (based on the number of publications) are:

  • Ηλίας Κατσούλης (21 papers) absent at the last edition,
  • Bruno Ando (15 papers) published 4 papers at the last edition the same number as at the previous edition,
  • Βασιλική Γεωργιάδου (14 papers) published 2 papers at the last edition, 1 less than at the previous edition,
  • Salvatore Baglio (14 papers) published 4 papers at the last edition, 1 more than at the previous edition,
  • Νίκος Δεμερτζής (10 papers) absent at the last edition.

The overall trend for top authors publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top authors.

Research.com

Only papers with recognized affiliations are considered

The top affiliations publishing at Static Analysis Symposium (based on the number of publications) are:

  • Mercyhurst University (39 papers) published 6 papers at the last edition, 21 less than at the previous edition,
  • Microsoft (22 papers) published 2 papers at the last edition the same number as at the previous edition,
  • University of Zagreb (18 papers) published 1 paper at the last edition the same number as at the previous edition,
  • University of Oxford (16 papers) published 1 paper at the last edition the same number as at the previous edition,
  • Technische Universität München (16 papers) absent at the last edition.

The overall trend for top affiliations publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top affiliations.

Research.com

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions at the conference edition to all articles published within that conference. The best research institutions were selected based on the largest number of articles published during all editions of the conference.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

Research.com

During the most recent 2017 edition, 11.11% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 16.07% were posted by at least one author from the top 10 institutions publishing at the conference. Another 13.39% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 14.29% of all publications and 56.25% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of conferences they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same conference from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the conference in relation to all participants in a given year.

Research.com

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

Research.com

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing at a conference. The index includes the authors publishing at the last edition of a conference, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

Research.com

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Research.com

Other Conferences in New Zealand

19th IEEE International Conference on Automation Science and Engineering

Aug 28, 2023 - Sep 01, 2023

Auckland , New Zealand, New Zealand

Deadline: Wednesday 01 Mar 2023

Previous Editions

SAS 2021 : International Static Analysis Symposium

Oct 17, 2021 - Oct 17, 2021

Chicago , United States, United States

Something went wrong. Please try again later.