4 papers
EAVer: Long-Form Factuality Verification as an End-to-End Agentic Policy
Kening Zheng, Aoying Zheng, Zhigang Chang +21
Long-form factuality verification is commonly implemented as a static decompose-search-verify pipeline, with separately prompted modules processing claims and invoking external sea…
Evaluating Agentic Code Repair Capabilities in Distributed Systems
Yibo Yan, Huijuan Wang, Junzhou He +4
LLM-based coding agents have advanced rapidly on single-process SWE tasks, with frontier models now clustering in the high-70s on SWE-bench Verified. Distributed-system debugging,…
Offering Microsecond-Scale Cross-VM Core Elasticity on Colocated Lightweight Virtual Machines
Yibo Yan, Seo Jin Park
Serverless platforms commonly colocate many diverse workloads, each in a fast-booting, memory-lean virtual machine (VM), to improve deployment density. Overprovisioning each VM for…
DDB: Source-Level Interactive Debugging for Distributed Applications
Yibo Yan, Junzhou He, Seo Jin Park
Interactive debugging is an effective tool for understanding program behavior at the source level, allowing developers to pause execution, navigate the call stack, and inspect runt…