Instrumented version of Cassandra
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
HBase instrumented with tracing framework.
HiBench is a Hadoop benchmark suite
Model checker for distributed systems using hitting families of schedules
Instrumented fork of Apache Kafka from GitHub
The benchmark repository for the added float support to the KeY deductive verifier.
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.
rLTL to LTL rewriter
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