Topics

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

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

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

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

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 as reviewers have a limited time that they can spend on each paper. With the exception of NEAT papers, all papers will follow a lightweight double-blind reviewing process. The identity of the authors for the NEAT papers will be therefore known to the reviewers.

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.