Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.
Model checker for distributed systems using hitting families of schedules
Mirror of https://github.com/dmlc/tvm for internal development
Check other branches for active development.
Don't forgot to git submodule init and git submodule update!
Hadoop, YARN, and HDFS, instrumented with tracing framework. Up to date with version 2.7.2. Most up to date branch is brownsys-tracingplane-2.7.2
ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
DeathStarBench modified with X-Trace tracing
Practical verification of numerical kernels