Cover Image

Correctness Witness Validation by Abstract Interpretation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Saan, Simmo, Schwarz, Michael, Erhard, Julian, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
by: Kocal, Ali Rasim, et al.
Published: (2026)

Non-Numerical Weakly Relational Domains
by: Seidl, Helmut, et al.
Published: (2024)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)

YAML Verification Witnesses from SV-COMP 2024
by: Saan, Simmo
Published: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)

Correctness Witnesses with Function Contracts
by: Heizmann, Matthias, et al.
Published: (2025)

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
by: Gomber, Shaurya, et al.
Published: (2025)

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

Abstract Interpretation-Based Data Leakage Static Analysis
by: Drobnjaković, Filip, et al.
Published: (2022)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
by: Lee, Jay
Published: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
by: Nicola, Mihai, et al.
Published: (2024)

Dead Gate Elimination
by: Chen, Yanbin, et al.
Published: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
by: Gu, Qiuhan, et al.
Published: (2025)

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
by: Khusainov, Emil, et al.
Published: (2026)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
by: Mitchell, Jacqueline L., et al.
Published: (2025)

Context-Sensitive Abstract Interpretation of Dynamic Languages
by: Piszcz, Franciszek
Published: (2024)

Abstract Environment Trimming
by: Jurjo-Rivas, Daniel, et al.
Published: (2024)

Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
by: Klimis, Vasileios, et al.
Published: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
by: Kalita, Pankaj Kumar, et al.
Published: (2024)

The ART of Sharing Points-to Analysis (Extended Abstract)
by: Halalingaiah, Shashin, et al.
Published: (2024)

Cost Analysis for Import and Export Using an Abstract Machine
by: Bennetzen, Benjamin, et al.
Published: (2024)

The Quantum Abstract Machine
by: Li, Liyi, et al.
Published: (2024)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
by: Kudasov, Nikolai, et al.
Published: (2024)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
by: Chen, Victor, et al.
Published: (2026)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
by: Ferreiro, Daniela, et al.
Published: (2026)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
by: Heltweg, Philip, et al.
Published: (2025)

Is spreadsheet syntax better than numeric indexing for cell selection?
by: Heltweg, Philip, et al.
Published: (2025)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)

Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
by: Dong, Rui, et al.
Published: (2026)

Sequence-Based Abstract Interpretation of Prolog
by: Charlier, Baudouin Le, et al.
Published: (2000)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
by: Gould, Chester J. F., et al.
Published: (2025)

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
by: Mayer, Florian, et al.
Published: (2024)

Debugging Functional Programs by Interpretation
by: Whitington, John
Published: (2024)