Skip to main content
Springer Nature Link
Log in

Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Roberto Giacobazzi

    1. Department of Computer Science, University of Arizona, Tucson, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alessandra Gorla

    1. 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 14995)

Included in the following conference series:

Conference proceedings info: SAS 2024.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. 

Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.

The 18 papers included here were carefully reviewed and selected from 45 submissions. 

 

Keywords

Table of contents (18 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Static Analysis of Quantum Programs

    • Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
    Pages 1-25

  3. Trace Partitioning as an Optimization Problem

    • M. Charles Babu, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion
    Pages 26-60

  4. On the Role of Cognizance in Responsibility

    • Laura Canaia, Mila Dalla Preda
    Pages 61-85

  5. Lift-Offline: Instruction Lifter Generators

    • Nicholas Coughlin, A. Michael, Kait Lam
    Pages 86-119

  6. Full Control-Flow Sensitivity for Definitional Interpreters

    • Kimball Germane
    Pages 120-146

  7. Synthesizing Abstract Transformers for Reduced-Product Domains

    • Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy
    Pages 147-172

  8. Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations

    • Philipp Kern, Carsten Sinz
    Pages 173-193

  9. Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler

    • Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi
    Pages 194-215

  10. GoGuard: Efficient Static Blocking Bug Detection for Go

    • Bozhen Liu, Dhruti Joshi
    Pages 216-241

  11. Verification of Programs with ADTs Using Shallow Horn Clauses

    • Théo Losekoot, Thomas Genet, Thomas Jensen
    Pages 242-267

  12. Quantitative Static Timing Analysis

    • Denis Mazzucato, Marco Campion, Caterina Urban
    Pages 268-299

  13. Under-Approximating Memory Abstractions

    • Marco Milanese, Antoine Miné
    Pages 300-326

  14. Robustness Verification of Multi-label Neural Network Classifiers

    • Julian Mour, Dana Drachsler-Cohen
    Pages 327-351

  15. An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants

    • Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
    Pages 352-385

  16. Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel

    • Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte
    Pages 386-406

  17. ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers

    • Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
    Pages 407-424

  18. BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

    • Ian Smith
    Pages 425-450

  19. Verifying Components of Arm® Confidential Computing Architecture with ESBMC

    • Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
    Pages 451-462

  20. Back Matter

    Pages 463-464
    Download chapter PDF
Back to top

Other volumes

  1. Static Analysis

Editors and Affiliations

  • Department of Computer Science, University of Arizona, Tucson, USA

    Roberto Giacobazzi

  • IMDEA Software Institute, Pozuelo de Alarcon, Spain

    Alessandra Gorla

Bibliographic Information

Publish with us

Policies and ethics

Back to top