Buchumschlag

Synthesizing Specifications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Park, Kanghee, D'Antoni, Loris, Reps, Thomas
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LOUD: Synthesizing Strongest and Weakest Specifications
von: Park, Kanghee, et al.
Veröffentlicht: (2024)

Unrealizability Logic
von: Kim, Jinwoo, et al.
Veröffentlicht: (2022)

Semantics of Sets of Programs
von: Kim, Jinwoo, et al.
Veröffentlicht: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
von: Nagy, Shaan, et al.
Veröffentlicht: (2024)

Synthesizing Formal Semantics from Executable Interpreters
von: Liu, Jiangyi, et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

The SemGuS Toolkit
von: Johnson, Keith J. C., et al.
Veröffentlicht: (2024)

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

Flexible and Efficient Grammar-Constrained Decoding
von: Park, Kanghee, et al.
Veröffentlicht: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
von: Peng, Xuanyu, et al.
Veröffentlicht: (2025)

Language-Based Agent Control
von: Zhou, Timothy, et al.
Veröffentlicht: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
von: Vaidya, Sairam, et al.
Veröffentlicht: (2025)

Grammar-Aligned Decoding
von: Park, Kanghee, et al.
Veröffentlicht: (2024)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
von: Nagy, Shaan, et al.
Veröffentlicht: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
von: Gonzalez, Emmanuel Anaya, et al.
Veröffentlicht: (2025)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

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

The Format Tax
von: Lee, Ivan Yee, et al.
Veröffentlicht: (2026)

Continuous Diffusion Models Can Obey Formal Syntax
von: Kim, Jinwoo, et al.
Veröffentlicht: (2026)

Software Model Checking via Summary-Guided Search (Extended Version)
von: Fang, Ruijie, et al.
Veröffentlicht: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

Efficient Cost Bounds with Linear Maps
von: Kahn, David M, et al.
Veröffentlicht: (2025)

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

Constrained Adaptive Rejection Sampling
von: Parys, Paweł, et al.
Veröffentlicht: (2025)

Synthesizing JSON Schema Transformers
von: Stanek, Jack, et al.
Veröffentlicht: (2024)

Generative Explanations for Program Synthesizers
von: Nazari, Amirmohammad, et al.
Veröffentlicht: (2024)

PECAN: A Deterministic Certified Defense Against Backdoor Attacks
von: Zhang, Yuhao, et al.
Veröffentlicht: (2023)

Synthesizing Trajectory Queries from Examples
von: Mell, Stephen, et al.
Veröffentlicht: (2026)

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
von: Liu, Zhengyang, et al.
Veröffentlicht: (2023)

Towards Automated Verification of LLM-Synthesized C Programs
von: Mukherjee, Prasita, et al.
Veröffentlicht: (2024)

Synthesizing DSLs for Few-Shot Learning
von: Krogmeier, Paul, et al.
Veröffentlicht: (2025)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
von: Xia, Shihao, et al.
Veröffentlicht: (2026)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
von: He, Yang, et al.
Veröffentlicht: (2025)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
von: Marron, Assaf, et al.
Veröffentlicht: (2025)

Domain-Specific Tensor Languages
von: Bernardy, Jean-Philippe, et al.
Veröffentlicht: (2023)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
von: Stutz, Felix, et al.
Veröffentlicht: (2025)

Resource Specifications for Resource-Manipulating Programs
von: Grannan, Zachary, et al.
Veröffentlicht: (2023)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
von: Norris, David C., et al.
Veröffentlicht: (2024)