2026

• 2026-10-30RedisRaft 的日志一致性问题

2023

• 2023-06-26Practical Software Model Checking via Dynamic Interface Reduction (SOSP'11)
• 2023-01-25Extensible Distributed Coordination
• 2023-01-10Cassandra - A Decentralized Structured Storage System
• 2023-01-09On the Nature of Progress (OPODIS'11)

2022

• 2022-12-21Axioms for Memory Access in Asynchronous Hardware Systems
• 2022-10-27Distributed Algorithm - Partially ordered set and lattice - and applications in Distributed System
• 2022-10-10Transaction Information System - Chapter 01
• 2022-09-22Distributed Algorithm - syllabus