Instrumented version of Cassandra
ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
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
HBase instrumented with tracing framework.
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.
rLTL to LTL rewriter
A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system.
Implemented on top of SAMC/DMCK distributed system model checking tool.
The benchmark repository for the added float support to the KeY deductive verifier.
Instrumented fork of Apache Kafka from GitHub
Java implementation of tracingplane and baggage