2 papers
cs.SE2025
Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems
Hua Guo, Yunhong Ji, Xuan Zhou
Developing distributed systems presents significant challenges, primarily due to the complexity introduced by non-deterministic concurrency and faults. To address these, we propose…
cs.DB2023
The Case of Transparent Cache Invalidation in Web Applications
Yunhong Ji, Xuan Zhou, Yongluan Zhou +1
Application-level caches are widely adopted by web applications to minimize the response time of user requests as well as to reduce the burden on the system backend, such as the da…