Projects
Research artifacts
- 01Jan – May 2024
Lattice
Research artifact · GoThe lease protocol behind bounded staleness, with the benchmark harness from the paper.
- Problem
- Edge caches serve stale data with no bound on how stale.
- Built
- Leases that expire before a replica can fall more than a set bound behind.
- Result
- p99 read latency up to 40% lower than strong reads, with staleness capped at 250 ms.
Teaching
- 02Sep – Dec 2025
Quorum notes
Teaching · MarkdownLab notes and exercises on quorum reads and writes for the Distributed Systems course.
Developer tools
- 03Mar 2025 – present
Tidepool
CLI · RustReplays crash points to find lost writes in key-value stores.
- Problem
- Crash bugs hide between fsync calls.
- Result
- 12/12 seeded bugs found0 false positives
- Install
cargo install tidepool