invariant
-
Reading Group. DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
In the 71st DistSys reading group meeting, we have discussed “DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols” OSDI’21 paper. Despite the misleading title, this paper has nothing to do with AI or Machine Learning. Instead, it focuses on the automated search for invariants in distributed algorithms. I will be brief and a bit hand-wavy…
-
Looking at State and Operational Consistency
Recently I rediscovered the “The many faces of consistency” paper by Marcos Aguilera and Doug Terry. When I first read the paper two years ago, I largely dismissed it as trivial, and, oh boy, now I realized how wrong I was at that time. It is easy to read for sure, and may appear as…
Search
Recent Posts
- Murat and Aleksey Read Papers: “Barbarians at the Gate: How AI is Upending Systems Research”
- Academic Chat with Murat and Aleksey: 5 Cs of the Invisible Curriculum.
- HoliPaxos: Towards More Predictable Performance in State Machine Replication
- Fall 2025 Reading List (##201-210)
- Paper #196. The Sunk Carbon Fallacy: Rethinking Carbon Footprint Metrics for Effective Carbon-Aware Scheduling
Categories
- One Page Summary (10)
- Other Thoughts (13)
- Paper Review and Summary (16)
- Pile of Eternal Rejections (2)
- Playing Around (14)
- Reading Group (104)
- RG Special Session (4)
- Teaching (2)