Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Agora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
Xiang Liu, Sa Song, Zhaowei Zhang +6
Consensus protocols form the backbone of distributed systems and blockchains, where implementation bugs can cause data corruption and financial losses. While LLM-based approaches s…
cs.SE2026
RoadmapBench: Evaluating Long-Horizon Agentic Software Development Across Version Upgrades
Xinbo Xu, Ruihan Yang, Haiyang Shen +13
Coding agents are increasingly deployed in real software development, where a single version iteration requires months of coordinated work across many files. However, most existing…