From the 1 of 4 linked papers with an AI index.
4 papers
Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers
Sajjad Khan
A framework that persists execution state so a run can be interrupted, survive a crash, and continue must decide what a resume means for effects that already happened. Five widely…
Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives
Sajjad Khan
The paper shows that several popular LLM‑agent frameworks do not correctly enforce their advertised control primitives (approval, cancellation, timeout), identifies multiple enforc…
Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems
Sajjad Khan
Multi-agent LLM systems share state through memory stores, vector indices, and tool registries. We model such sharing as long-running read-generate-write operations under determini…
Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study
Sajjad Khan
LLM-agent budget overruns are a documented production failure class: a single retry loop can spend thousands of dollars before an operator notices, and the in-process integrity pro…