Cover Image

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nagy, Shaan, Zhou, Timothy, Polikarpova, Nadia, D'Antoni, Loris
Format:	Preprint
Published:	2025
Subjects:	Programming Languages D.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Language-Based Agent Control
by: Zhou, Timothy, et al.
Published: (2026)

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

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

From Batch to Stream: Automatic Generation of Online Algorithms
by: Wang, Ziteng, et al.
Published: (2024)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
by: Esmaeilsabzali, Shahram, et al.
Published: (2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
by: de Medeiros, Sérgio Queiroz, et al.
Published: (2024)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
by: Zhou, Zhe, et al.
Published: (2024)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

Statically Contextualizing Large Language Models with Typed Holes
by: Blinn, Andrew, et al.
Published: (2024)

Homomorphism Calculus for User-Defined Aggregations
by: Wang, Ziteng, et al.
Published: (2025)

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

Program Analysis via Multiple Context Free Language Reachability
by: Conrado, Giovanna Kobus, et al.
Published: (2024)

VeriFx: Correct Replicated Data Types for the Masses
by: De Porre, Kevin, et al.
Published: (2022)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2023)

Modular GPU Programming with Typed Perspectives
by: Bansal, Manya, et al.
Published: (2025)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

ACPO: AI-Enabled Compiler Framework
by: Ashouri, Amir H., et al.
Published: (2023)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
by: Ashouri, Amir H., et al.
Published: (2026)

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

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
by: Akbarpour, Nikta, et al.
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

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

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

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

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

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
by: Boyer, Matthieu Pierre
Published: (2025)

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

Dynamic String Generation and C++-style Output in Fortran
by: Mohr, Marcus
Published: (2024)

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

Grammar-Aligned Decoding
by: Park, Kanghee, et al.
Published: (2024)

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

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
by: McCann, Alan L.
Published: (2026)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
by: McCann, Alan L.
Published: (2026)