Explore projects

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

Practical verification of numerical kernels

A certificate checker for roundoff error bounds

Java implementation of tracingplane and baggage

Practical verification of numerical kernels

The implementation for checking linearizability using hitting families of schedules

This is a static analyser developed for the Program Analysis course at TU Kaiserslautern. for more information see the course page: https://moodle.mpi-sws.org/course/view.php?id=24

Instrumented fork of Apache Kafka from GitHub

A custom Akka dispatcher that logs and controls the delivery order of actor messages.

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