Copertina

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Johnson, Keith J. C., Krishnan, Rahul, Reps, Thomas, D'Antoni, Loris
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

The SemGuS Toolkit
di: Johnson, Keith J. C., et al.
Pubblicazione: (2024)

Synthesizing Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2023)

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

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

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

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
di: Nagy, Shaan, et al.
Pubblicazione: (2025)

Language-Based Agent Control
di: Zhou, Timothy, et al.
Pubblicazione: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
di: Vaidya, Sairam, et al.
Pubblicazione: (2025)

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

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

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness
di: Zhang, Yuhao, et al.
Pubblicazione: (2024)

Flexible and Efficient Grammar-Constrained Decoding
di: Park, Kanghee, et al.
Pubblicazione: (2025)

The Format Tax
di: Lee, Ivan Yee, et al.
Pubblicazione: (2026)

Continuous Diffusion Models Can Obey Formal Syntax
di: Kim, Jinwoo, et al.
Pubblicazione: (2026)

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

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

Oriented Metrics for Bottom-Up Enumerative Synthesis
di: Meyer, Roland, et al.
Pubblicazione: (2025)

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

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

zkStruDul: Programming zkSNARKs with Structural Duality
di: Krishnan, Rahul, et al.
Pubblicazione: (2025)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
di: Udomsrirungruang, Thien, et al.
Pubblicazione: (2024)

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

Constrained Adaptive Rejection Sampling
di: Parys, Paweł, et al.
Pubblicazione: (2025)

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

Automated Verification of Monotonic Data Structure Traversals in C
di: Sotoudeh, Matthew
Pubblicazione: (2025)

Grammar-Aligned Decoding
di: Park, Kanghee, et al.
Pubblicazione: (2024)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
di: Chen, Simin, et al.
Pubblicazione: (2024)

The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)

Template-based Program Synthesis using Stellensätze
di: Goharshady, Amir Kafshdar, et al.
Pubblicazione: (2022)

Automated Expected Cost Analysis for Quantum Programs
di: Moser, Georg, et al.
Pubblicazione: (2026)

Compilation Semantics for a Programming Language with Versions
di: Tanabe, Yudai, et al.
Pubblicazione: (2023)

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

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
di: Zhang, Xiao, et al.
Pubblicazione: (2025)

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

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

From Algebraic Word Problem to Program: A Formalized Approach
di: Wiemerslage, Adam, et al.
Pubblicazione: (2020)

A Pure Demand Operational Semantics with Applications to Program Analysis
di: Smith, Scott, et al.
Pubblicazione: (2023)