Uber Automates Dependency Analysis across its Service Mesh

Leela Kumili — Fri, 16 Oct 2026 14:39:00 GMT

Uber has developed an automated dependency analysis system that uses RPC middleware and production metrics to correlate caller and downstream failures. The approach classifies dependencies as fail-close, fail-open, or unknown and addresses limitations of sampled distributed tracing for rare failures across Uber’s large service mesh.

By Leela Kumili

Presentation: How to Find Resilience Bugs in Systems that Don't Exist

Hillel Wayne — Wed, 14 Oct 2026 11:00:00 GMT

Hillel Wayne discusses how formal methods principles - such as property strength, state-space verification, and environment assumptions - help software engineers uncover critical architectural bugs early. He shares practical mental models like "adversarial non-determinism" to reason about concurrency, edge cases, and distributed system failures without needing complex mathematical tools.

By Hillel Wayne

InfoQ - Reliability

Uber Automates Dependency Analysis across its Service Mesh

Presentation: How to Find Resilience Bugs in Systems that Don't Exist