Explore projects

HBase instrumented with tracing framework.

rLTL to LTL rewriter

PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.

YCSB is a cloud database benchmark that we use for HBase

Model checker for distributed systems using hitting families of schedules

A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.

Java implementation of tracingplane and baggage

Instrumented fork of Apache Kafka from GitHub

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!

Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.

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)