Call for Papers: Static Analysis Symposium (SAS 2025)

Welcome to the website of the 32nd Static Analysis Symposium (SAS 2025). 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 for more than 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area.

The Symposium will be held from October 13-15, 2025, at the Marina Bay Sands Convention Centre in Singapore.

Topics

The technical program for SAS 2025 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of program 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
• LLM for static analysis and static analysis for LLM

Submission Categories

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.

If you are submitting to the NEAT category, please ensure your submission title is formatted as: “NEAT: your original paper title”.

Submission Requirements

• Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming.
• We do not impose a page limit for submitted papers, but we encourage brevity.
• With the exception of NEAT papers, all papers will follow a double-blind reviewing process.
• 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 submitted elsewhere.
• All submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity.

Radhia Cousot Award

The program committee will select an accepted regular paper for the Radhia Cousot Young Researcher Best Paper Award.

Artifacts

Authors are encouraged to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional.

Submission Details

• Submission Link: https://sas25.hotcrp.com

Important Dates (AoE - UTC-12h)

• Paper Submission: Sunday, May 11, 2025
• Artifact Submission: Sunday, May 18, 2025
• Author Response: Monday, June 16 - Wednesday, June 18, 2025
• Notification: Friday, July 11, 2025
• Camera-Ready: Thursday, July 31, 2025
• Conference Dates: Monday, October 13 - Wednesday, October 15, 2025

Publication

The SAS 2025 proceedings will be published by Springer in their LNCS series. Accepted papers will also be invited to submit to a special issue of the Science of Computer Programming (SCP).

Committees

• Organizing Committee: See Committee Page
• Program Co-Chairs: Hakjoo Oh, Yulei Sui
• Program Committee: See Committee Page
• Steering Committee: See Committee Page

Double-Blind Requirement

All regular papers must adhere to the double-blind process. Author names and affiliations must be omitted, and references to the authors’ own related work should be in the third person.