Cover Image

Literate Execution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bond, Joe, Pake, Jacob, David, Cristina, McNutt, Andrew, Muwonge, Trevor Sseguya, Orchard, Dominic, Perera, Roly
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cognacy Queries over Dependence Graphs for Transparent Visualisations
by: Bond, Joseph, et al.
Published: (2024)

Galois Slicing as Automatic Differentiation
by: Atkey, Robert, et al.
Published: (2025)

AI-Assisted Authoring for Transparent, Data-Driven Documents
by: Piscitelli, Alfonso, et al.
Published: (2025)

Incremental units-of-measure verification
by: Danish, Matthew, et al.
Published: (2024)

Functional Ownership through Fractional Uniqueness
by: Marshall, Danielle, et al.
Published: (2023)

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

Effect Handlers for Programmable Inference
by: Nguyen, Minh, et al.
Published: (2023)

Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
by: Vollmer, Victoria, et al.
Published: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
by: Rossi, Roberto, et al.
Published: (2026)

Detecting horizons of symmetric black holes using relative differential invariants
by: McNutt, David, et al.
Published: (2024)

Horizons that Gyre and Gimble: A Differential Characterization of Null Hypersurfaces
by: Blitz, Samuel, et al.
Published: (2023)

Cocoon: Static Information Flow Control in Rust
by: Lamba, Ada, et al.
Published: (2023)

Linting is People! Exploring the Potential of Human Computation as a Sociotechnical Linter of Data Visualizations
by: Crisan, Anamaria, et al.
Published: (2025)

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

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

&inator: Correct, Precise C-to-Rust Interface Translation
by: Chen, Victor, et al.
Published: (2026)

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

Fusing Gathers with Integer Linear Programming
by: van Balen, David, et al.
Published: (2024)

Optimized Execution of FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

Considering Visualization Example Galleries
by: Yang, Junran, et al.
Published: (2024)

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)

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

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

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)

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

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
by: Geng, Chujun, et al.
Published: (2024)

Potential Carroll Structures and Special Carrollian Manifolds
by: Blitz, Samuel, et al.
Published: (2026)

IDEAL characterization of vacuum pp-waves
by: Khavkine, Igor, et al.
Published: (2024)

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

Unique Carrollian manifolds emerging from Einstein spacetimes
by: Blitz, S., et al.
Published: (2024)

All symmetry groups of pp-waves in teleparallel gravity
by: Landry, A., et al.
Published: (2024)

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

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)

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