Image de couverture de livre

Synthesizing Abstract Transformers for Reduced-Product Domains

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kalita, Pankaj Kumar, Reps, Thomas, Roy, Subhajit
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Synthesizing Specifications
par: Park, Kanghee, et autres
Publié: (2023)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Synthesizing Formal Semantics from Executable Interpreters
par: Liu, Jiangyi, et autres
Publié: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
par: Peng, Xuanyu, et autres
Publié: (2025)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
par: Nepeivoda, Antonina, et autres
Publié: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
par: Fang, Ruijie, et autres
Publié: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Semantics of Sets of Programs
par: Kim, Jinwoo, et autres
Publié: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
par: Nagy, Shaan, et autres
Publié: (2024)

Efficient Cost Bounds with Linear Maps
par: Kahn, David M, et autres
Publié: (2025)

Unrealizability Logic
par: Kim, Jinwoo, et autres
Publié: (2022)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Synthesizing JSON Schema Transformers
par: Stanek, Jack, et autres
Publié: (2024)

The SemGuS Toolkit
par: Johnson, Keith J. C., et autres
Publié: (2024)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
par: Johnson, Keith J. C., et autres
Publié: (2024)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
par: Gomber, Shaurya, et autres
Publié: (2025)

Verifying Solutions to Semantics-Guided Synthesis Problems
par: Murphy, Charlie, et autres
Publié: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
par: Bao, Jialu, et autres
Publié: (2021)

An Abstract Domain for Heap Commutativity (Extended Version)
par: Pincus, Jared, et autres
Publié: (2024)

Enabling Memory Safety of C Programs using LLMs
par: Mohammed, Nausheen, et autres
Publié: (2024)

Productive Quantum Programming Needs Better Abstract Machines
par: Núñez-Corrales, Santiago, et autres
Publié: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
par: Nicola, Mihai, et autres
Publié: (2024)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
par: Beyer, Dirk, et autres
Publié: (2025)

Abstracting Denotational Interpreters
par: Graf, Sebastian, et autres
Publié: (2024)

Abstract Environment Trimming
par: Jurjo-Rivas, Daniel, et autres
Publié: (2024)

Generative Explanations for Program Synthesizers
par: Nazari, Amirmohammad, et autres
Publié: (2024)

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

LOUD: Synthesizing Strongest and Weakest Specifications
par: Park, Kanghee, et autres
Publié: (2024)

Synthesizing Trajectory Queries from Examples
par: Mell, Stephen, et autres
Publié: (2026)

Synthesizing Backward Error Bounds, Backward
par: Zielinski, Laura, et autres
Publié: (2026)

The Session Abstract Machine (Extended Version)
par: Caires, Luís, et autres
Publié: (2024)

Correctness Witness Validation by Abstract Interpretation
par: Saan, Simmo, et autres
Publié: (2023)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
par: Liu, Zhengyang, et autres
Publié: (2023)

The ART of Sharing Points-to Analysis (Extended Abstract)
par: Halalingaiah, Shashin, et autres
Publié: (2024)

Optimal Program Synthesis via Abstract Interpretation
par: Mell, Stephen, et autres
Publié: (2026)

Towards Automated Verification of LLM-Synthesized C Programs
par: Mukherjee, Prasita, et autres
Publié: (2024)

Synthesizing DSLs for Few-Shot Learning
par: Krogmeier, Paul, et autres
Publié: (2025)

Cost Analysis for Import and Export Using an Abstract Machine
par: Bennetzen, Benjamin, et autres
Publié: (2024)

Abstract Interpretation-Based Data Leakage Static Analysis
par: Drobnjaković, Filip, et autres
Publié: (2022)

Automated Type Annotation in Python Using Large Language Models
par: Bharti, Varun, et autres
Publié: (2025)