Skip to main content
SpringerLink
Log in

Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Manuel V. Hermenegildo

    1. U. Politécnica de Madrid (UPM) and IMDEA Software Institute, Pozuelo de Alarcón, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José F. Morales

    1. U. Politécnica de Madrid (UPM) and IMDEA Software Institute, Pozuelo de Alarcon, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14284)

Included in the following conference series:

Conference proceedings info: SAS 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Verifying Infinitely Many Programs at Once

      • Loris D’Antoni
      Pages 3-9

    3. Abstract Interpretation in Industry – Experience and Lessons Learned

      • Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand
      Pages 10-27

    4. Building Trust and Safety in Artificial Intelligence with Abstract Interpretation

      • Gagandeep Singh
      Pages 28-38

  3. Regular Papers

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs

      • Rosa Abbasi, Eva Darulova
      Pages 41-64

    3. Unconstrained Variable Oracles for Faster Numeric Static Analyses

      • Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
      Pages 65-83

    4. Symbolic Transformation of Expressions in Modular Arithmetic

      • Jérôme Boillot, Jérôme Feret
      Pages 84-113

    5. A Formal Framework to Measure the Incompleteness of Abstract Interpretations

      • Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
      Pages 114-138

    6. BREWasm: A General Static Binary Rewriting Framework for WebAssembly

      • Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang
      Pages 139-163

    7. Quantum Constant Propagation

      • Yanbin Chen, Yannick Stade
      Pages 164-189Open Access

    8. Error Invariants for Fault Localization via Abstract Interpretation

      • Aleksandar S. Dimovski
      Pages 190-211

    9. Generalized Program Sketching by Abstract Interpretation and Logical Abduction

      • Aleksandar S. Dimovski
      Pages 212-230

    10. Mutual Refinements of Context-Free Language Reachability

      • Shuo Ding, Qirun Zhang
      Pages 231-258

    11. ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses

      • Florian Frohn, Jürgen Giesl
      Pages 259-285

    12. How Fitting is Your Abstract Domain?

      • Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
      Pages 286-309

    13. A Product of Shape and Sequence Abstractions

      • Josselin Giet, Félix Ridoux, Xavier Rival
      Pages 310-342

    14. Error Localization for Sequential Effect Systems

      • Colin S. Gordon, Chaewon Yun
      Pages 343-370

    15. Scaling up Roundoff Analysis of Functional Data Structure Programs

      • Anastasia Isychev, Eva Darulova
      Pages 371-402Open Access
Back to top

Other volumes

  1. Static Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.

The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.

Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.


Editors and Affiliations

  • U. Politécnica de Madrid (UPM) and IMDEA Software Institute, Pozuelo de Alarcón, Spain

    Manuel V. Hermenegildo

  • U. Politécnica de Madrid (UPM) and IMDEA Software Institute, Pozuelo de Alarcon, Spain

    José F. Morales

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation