2 papers
cs.DB2026
Sophrosyne: Agentic Exploration of Relational Data Systems Needs Moderation
Madhav Jivrajani, Ramnatthan Alagappan, Aishwarya Ganesan
Text2SQL agents powered by LLMs translate natural language intent into SQL by exploring the data system through tool calls before formulating the query. However, to ensure secure a…
cs.DC2024
Multi-Grained Specifications for Distributed System Model Checking and Verification
Lingzhi Ouyang, Xudong Sun, Ruize Tang +4
This paper presents our experience specifying and verifying the correctness of ZooKeeper, a complex and evolving distributed coordination system. We use TLA+ to model fine-grained…