default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st SAS 2024: Pasadena, CA, USA
- Roberto Giacobazzi
, Alessandra Gorla:
Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings. Lecture Notes in Computer Science 14995, Springer 2025, ISBN 978-3-031-74775-5 - Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni:
Static Analysis of Quantum Programs. 1-25 - M. Charles Babu, Matthieu Lemerre, Sébastien Bardin, Jean-Yves Marion:
Trace Partitioning as an Optimization Problem. 26-60 - Laura Canaia, Mila Dalla Preda:
On the Role of Cognizance in Responsibility. 61-85 - Nicholas Coughlin, Alistair Michael, Kait Lam:
Lift-Offline: Instruction Lifter Generators. 86-119 - Kimball Germane:
Full Control-Flow Sensitivity for Definitional Interpreters. 120-146 - Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers for Reduced-Product Domains. 147-172 - Philipp Kern, Carsten Sinz:
Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations. 173-193 - Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi:
Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. 194-215 - Bozhen Liu, Dhruti Joshi:
GoGuard: Efficient Static Blocking Bug Detection for Go. 216-241 - Théo Losekoot, Thomas Genet, Thomas P. Jensen:
Verification of Programs with ADTs Using Shallow Horn Clauses. 242-267 - Denis Mazzucato, Marco Campion, Caterina Urban:
Quantitative Static Timing Analysis. 268-299 - Marco Milanese, Antoine Miné:
Under-Approximating Memory Abstractions. 300-326 - Julian Mour, Dana Drachsler-Cohen:
Robustness Verification of Multi-label Neural Network Classifiers. 327-351 - Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. 352-385 - Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte:
Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. 386-406 - Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh:
ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers. 407-424 - Ian Smith:
BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code. 425-450 - Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro:
Verifying Components of Arm® Confidential Computing Architecture with ESBMC. 451-462
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-09 23:35 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:
