:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rechenberger, Sascha, Frühwirth, Thom
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2506.14485
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FreeCHR: An Algebraic Framework for CHR-Embeddings
by: Rechenberger, Sascha, et al.
Published: (2023)

An instance of FreeCHR with refined operational semantics
by: Rechenberger, Sascha, et al.
Published: (2025)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

Runtime Repeated Recursion Unfolding in CHR: A Just-In-Time Online Program Optimization Strategy That Can Achieve Super-Linear Speedup
by: Fruehwirth, Thom
Published: (2023)

Literate Execution
by: Bond, Joe, et al.
Published: (2026)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
by: Fruehwirth, Thom
Published: (2025)

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
by: Zhao, Xinkui, et al.
Published: (2025)

An Execution Model for RICE
by: Libby, Steven
Published: (2025)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
by: Guerin, Cormac, et al.
Published: (2026)

Large Language Model Powered Symbolic Execution
by: Li, Yihe, et al.
Published: (2025)

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

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
by: Muravev, Ilia
Published: (2024)

Soteria: Efficient Symbolic Execution as a Functional Library
by: Ayoun, Sacha-Élie, et al.
Published: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
by: Norris, David C., et al.
Published: (2024)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
by: Weng, Han, et al.
Published: (2025)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
by: Pointner, Andreas, et al.
Published: (2025)

CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
by: Li, Haau-Sing, et al.
Published: (2024)

PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
by: Yang, Zhaohui, et al.
Published: (2025)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
by: Lööw, Andreas, et al.
Published: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
by: Sun, Zhensu, et al.
Published: (2026)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
by: Sun, Simeng, et al.
Published: (2025)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
by: Andrès, Léo, et al.
Published: (2024)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
by: Tunç, Hünkar Can, et al.
Published: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
by: Karmios, Nat, et al.
Published: (2026)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Multi-Pass Targeted Dynamic Symbolic Execution
by: Yavuz, Tuba
Published: (2024)

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

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
by: Pezeshkpour, Pouya, et al.
Published: (2026)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
by: van der Wall, Sören, et al.
Published: (2024)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

NExT: Teaching Large Language Models to Reason about Code Execution
by: Ni, Ansong, et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation
by: Gu, Yuhao, et al.
Published: (2025)

Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution
by: Chougule, Atharva, et al.
Published: (2026)