2 papers
cs.SE2026
Agentic Model Checking
Youcheng Sun, Jiawen Liu, Daniel Kroening +1
Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing, and safety contracts are encoded implicitly at call sites rather than enforced…
cs.OS2026
TIDAL: Recovering Temporal Phase for Cloud Block Storage Placement from LLM-Derived Semantics
Difan Tan, Changlin Wan, Jiawen Liu +2
Cloud Virtual Disk (CVD) placement in Cloud Block Storage (CBS) is critical for resource efficiency and performance isolation. Existing schemes prioritize spatial load balancing by…