Static Analysis
32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings
Series: Lecture Notes in Computer Science;
- Publisher's listprice EUR 79.17
-
32 835 Ft (31 272 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 3 940 Ft off)
- Discounted price 28 895 Ft (27 519 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
32 835 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 8 October 2025
- ISBN 9783032071057
- Binding Paperback
- No. of pages423 pages
- Size 235x155 mm
- Language English
- Illustrations XX, 423 p. 128 illus., 79 illus. in color. 668
Categories
Long description:
This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.
The 15 papers included here were carefully reviewed and selected from 32 submissions.
The papers presented in this book deal with 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, and LLM for static analysis and static analysis for LLM.
More
Table of Contents:
.- On a simple problem due to Yves Bertot.
.- Verifying Neural Networks with PyRAT.
.- Contextual Equality Saturation.
.- A Programming Language for Feasible Solutions.
.- Specifying and Verifying Future Conditions.
.- AURA: Precise Abstract Interpretation of Probabilistic Programs with
Interval Data Uncertainty.
.- Comparing the Precision of Abstract Operators in the eBPF Verifier
using Differential Synthesis.
.- Bounded-Exhaustive Subspace Diversification for SMT Solver Testing.
.- Abstracting Concolic Execution for Soft Contract Verification.
.- Enhancing Neural Network Robustness via Synthesis of Repair Programs.
.- Relating Distances and Abstractions: An Abstract Interpretation
Perspective.
.- Ductape: Optimizing Dynamically Typed Programs Using
Ahead-of-Time Compilation and Data-Flow Analysis.
.- Automated Catamorphism Synthesis for Solving Constrained Horn
Clauses over Algebraic Data Types.
.- Formal Analysis of Networked PLC Controllers Interacting with
Physical Environments.
.- Monarch: A Modular Framework for Abstract Definitional Interpreters
in Haskell.
.- Delta Store Semantics: Abstract Garbage Collection for Abstract
Definitional Interpreters.
