Copertina

Optimal Program Synthesis via Abstract Interpretation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mell, Stephen, Zdancewic, Steve, Bastani, Osbert
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
di: Mell, Stephen, et al.
Pubblicazione: (2026)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
di: Mell, Stephen, et al.
Pubblicazione: (2025)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
di: Barnaby, Celeste, et al.
Pubblicazione: (2026)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
di: Ramalingam, Ramya, et al.
Pubblicazione: (2024)

Active Learning for Neurosymbolic Program Synthesis
di: Barnaby, Celeste, et al.
Pubblicazione: (2025)

Functional Meaning for Parallel Streaming
di: Rioux, Nick, et al.
Pubblicazione: (2025)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Compiling to recurrent neurons
di: Velez-Ginorio, Joey, et al.
Pubblicazione: (2025)

Compiling to linear neurons
di: Velez-Ginorio, Joey, et al.
Pubblicazione: (2025)

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

A Two-Phase Infinite/Finite Low-Level Memory Model
di: Beck, Calvin, et al.
Pubblicazione: (2024)

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

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
di: Zaliva, Vadim, et al.
Pubblicazione: (2026)

Abstracting Denotational Interpreters
di: Graf, Sebastian, et al.
Pubblicazione: (2024)

Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings
di: Xu, Kan, et al.
Pubblicazione: (2021)

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

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

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

Asymptotic Normality of Generalized Low-Rank Matrix Sensing via Riemannian Geometry
di: Bastani, Osbert
Pubblicazione: (2024)

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

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting
di: Young, Halley, et al.
Pubblicazione: (2024)

TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
di: Li, Shuo, et al.
Pubblicazione: (2023)

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

Verifying Fault-Tolerance of Quantum Error Correction Codes
di: Chen, Kean, et al.
Pubblicazione: (2025)

One-Shot Safety Alignment for Large Language Models via Optimal Dualization
di: Huang, Xinmeng, et al.
Pubblicazione: (2024)

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

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
di: Zenkner, Janis, et al.
Pubblicazione: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

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

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

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

LLM Program Optimization via Retrieval Augmented Search
di: Anupam, Sagnik, et al.
Pubblicazione: (2025)

Optimal Predicate Pushdown Synthesis
di: Zhang, Robert, et al.
Pubblicazione: (2026)

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

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
di: Chang, Stephen
Pubblicazione: (2024)

Context-Sensitive Abstract Interpretation of Dynamic Languages
di: Piszcz, Franciszek
Pubblicazione: (2024)

Let's Take Esoteric Programming Languages Seriously
di: Singer, Jeremy, et al.
Pubblicazione: (2025)

Program Synthesis from Partial Traces
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)