Explore projects

HBase instrumented with tracing framework.

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

Instrumented version of Cassandra

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