Explore projects

ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)

Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1

HiBench is a Hadoop benchmark suite

YCSB is a cloud database benchmark that we use for HBase

Instrumented fork of Apache Kafka from GitHub

UniTraX is a data analytics system that provides users with a personal differentially private bound on privacy loss. UniTraX is able to allow more queries than previous systems, without giving up on analytic accuracy.

Java implementation of tracingplane and baggage

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!

The benchmark repository for the added float support to the KeY deductive verifier.

HBase instrumented with tracing framework.

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

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

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

Model checker for distributed systems using hitting families of schedules

Instrumented version of Cassandra