![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
30th SAS 2023: Cascais, Portugal
- Manuel V. Hermenegildo
, José F. Morales
:
Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Lecture Notes in Computer Science 14284, Springer 2023, ISBN 978-3-031-44244-5
Invited Talks
- Loris D'Antoni:
Verifying Infinitely Many Programs at Once. 3-9 - Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand:
Abstract Interpretation in Industry - Experience and Lessons Learned. 10-27 - Gagandeep Singh
:
Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. 28-38
Regular Papers
- Rosa Abbasi
, Eva Darulova
:
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. 41-64 - Vincenzo Arceri
, Greta Dolcetti
, Enea Zaffanella
:
Unconstrained Variable Oracles for Faster Numeric Static Analyses. 65-83 - Jérôme Boillot, Jérôme Feret:
Symbolic Transformation of Expressions in Modular Arithmetic. 84-113 - Marco Campion
, Caterina Urban
, Mila Dalla Preda
, Roberto Giacobazzi
:
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. 114-138 - Shangtong Cao, Ningyu He, Yao Guo, Haoyu Wang:
BREWasm: A General Static Binary Rewriting Framework for WebAssembly. 139-163 - Yanbin Chen
, Yannick Stade
:
Quantum Constant Propagation. 164-189 - Aleksandar S. Dimovski
:
Error Invariants for Fault Localization via Abstract Interpretation. 190-211 - Aleksandar S. Dimovski
:
Generalized Program Sketching by Abstract Interpretation and Logical Abduction. 212-230 - Shuo Ding
, Qirun Zhang
:
Mutual Refinements of Context-Free Language Reachability. 231-258 - Florian Frohn
, Jürgen Giesl
:
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses. 259-285 - Roberto Giacobazzi, Isabella Mastroeni
, Elia Perantoni:
How Fitting is Your Abstract Domain? 286-309 - Josselin Giet
, Félix Ridoux, Xavier Rival:
A Product of Shape and Sequence Abstractions. 310-342 - Colin S. Gordon
, Chaewon Yun:
Error Localization for Sequential Effect Systems. 343-370 - Anastasia Isychev
, Eva Darulova
:
Scaling up Roundoff Analysis of Functional Data Structure Programs. 371-402 - Matthieu Lemerre
:
Reverse Template Processing Using Abstract Interpretation. 403-433 - Isabella Mastroeni
, Michele Pasqua
:
Domain Precision in Galois Connection-Less Abstract Interpretation. 434-459 - Daniel Schoepe
, David Seekatz
, Ilina Stoilkovska
, Sandro Stucki
, Daniel Tattersall, Pauline Bolignano, Franco Raimondi
, Bor-Yuh Evan Chang
:
Lifting On-Demand Analysis to Higher-Order Languages. 460-484 - Michael Schwarz
, Helmut Seidl
:
Octagons Revisited - Elegant Proofs and Simplified Algorithms. 485-507 - Thomas Seed
, Chris Coppins
, Andy King
, Neil Evans:
Polynomial Analysis of Modular Arithmetic. 508-539 - Xuezhou Tang
, Ye Zheng
, Jiaxiang Liu
:
Boosting Multi-neuron Convex Relaxation for Neural Network Verification. 540-563
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.