# Featured
A comprehensive guide to everything you need to know about Testing
Distributed Systems.
How testing and formal methods fit together in practice, review of the paper "Using Lightweight Formal Methods to Validate a Key-Value
Storage Node in Amazon S3".
A review of the paper "What's the Story in EBS Glory:
Evolutions and Lessons in Building Cloud Block Store" discusses the evolution of Alibaba Cloud's EBS
service architecture over the years.
# Recent
-
Evolution of Cloud Block Store (May 2024)
-
How to Fight Production Incidents? (January 2023)
-
Understanding Upgrade Failures in Distributed Systems (September 2022)
-
Understanding Partial Failures in Large Systems (May 2022)
All public talks.