Explore projects

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

Instrumented version of Cassandra

HiBench is a Hadoop benchmark suite

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.

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