rLTL to LTL rewriter
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
Instrumented version of Cassandra
The benchmark repository for the added float support to the KeY deductive verifier.
HBase instrumented with tracing framework.
YCSB is a cloud database benchmark that we use for HBase
HiBench is a Hadoop benchmark suite
Java implementation of tracingplane and baggage
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.
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
ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
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