Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th 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
a service of 
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.
last updated on 2024-09-07 00:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
