Cover Image

Synthesizing Abstract Transformers for Reduced-Product Domains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kalita, Pankaj Kumar, Reps, Thomas, Roy, Subhajit
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesizing Specifications
by: Park, Kanghee, et al.
Published: (2023)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

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

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
by: Nepeivoda, Antonina, et al.
Published: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
by: Nagy, Shaan, et al.
Published: (2024)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)

Unrealizability Logic
by: Kim, Jinwoo, et al.
Published: (2022)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Synthesizing JSON Schema Transformers
by: Stanek, Jack, et al.
Published: (2024)

The SemGuS Toolkit
by: Johnson, Keith J. C., et al.
Published: (2024)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
by: Johnson, Keith J. C., et al.
Published: (2024)

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

Verifying Solutions to Semantics-Guided Synthesis Problems
by: Murphy, Charlie, et al.
Published: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
by: Bao, Jialu, et al.
Published: (2021)

An Abstract Domain for Heap Commutativity (Extended Version)
by: Pincus, Jared, et al.
Published: (2024)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

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

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

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

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

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

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

LOUD: Synthesizing Strongest and Weakest Specifications
by: Park, Kanghee, et al.
Published: (2024)

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

Synthesizing Backward Error Bounds, Backward
by: Zielinski, Laura, et al.
Published: (2026)

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

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
by: Liu, Zhengyang, et al.
Published: (2023)

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

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

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

Synthesizing DSLs for Few-Shot Learning
by: Krogmeier, Paul, et al.
Published: (2025)

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

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

Automated Type Annotation in Python Using Large Language Models
by: Bharti, Varun, et al.
Published: (2025)