


default search action
32nd 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














