Explore projects
-
Updated
-
A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
-
Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.
Updated -
-
-
Updated
-
-
-
-
-
The implementation for checking linearizability using hitting families of schedules
Updated -
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated