default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd SAS 2025: Singapore
- Hakjoo Oh
, Yulei Sui:
Static Analysis - 32nd International Symposium, SAS 2025, Singapore, October 13-14, 2025, Proceedings. Lecture Notes in Computer Science 16100, Springer 2026, ISBN 978-3-032-07105-7 - Olivier Danvy:
On a Simple Problem Due to Yves Bertot. 1-10 - Augustin Lemesle, Julien Lehmann, Tristan Le Gall, Zakaria Chihani:
Verifying Neural Networks with PyRAT. 11-33 - Alexandre Drewery, Thomas P. Jensen, David Pichardie:
Contextual Equality Saturation. 34-61 - Weijun Chen, Yuxi Fu, Huan Long:
A Programming Language for Feasible Solutions. 62-89 - Yahui Song, Darius Foo, Wei-Ngan Chin:
Specifying and Verifying Future Conditions. 90-112 - Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic:
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty. 113-141 - Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte:
Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis. 142-166 - Junda Zheng, Peisen Yao:
Bounded-Exhaustive Subspace Diversification for SMT Solver Testing. 167-189 - Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover:
Abstracting Concolic Execution for Soft Contract Verification. 190-220 - Tom Yuviler, Dana Drachsler-Cohen:
Enhancing Neural Network Robustness via Synthesis of Repair Programs. 221-248 - Marco Campion, Isabella Mastroeni, Caterina Urban:
Relating Distances and Abstractions - An Abstract Interpretation Perspective. 249-277 - Adi Harif, Shachar Itzhaky:
Ductape: Optimizing Dynamically Typed Programs Using Ahead-of-Time Compilation and Data-Flow Analysis. 278-304 - Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types. 305-327 - Jaeseo Lee, Kyungmin Bae:
Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. 328-356 - Bram Vandenbogaerde, Sarah Verbelen, Noah Van Es, Coen De Roover:
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell. 357-385 - Noah Van Es, Bram Vandenbogaerde, Coen De Roover:
Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters. 386-421
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 2025-12-05 22:31 CET 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:
