A certificate checker for roundoff error bounds
A custom Akka dispatcher that logs and controls the delivery order of actor messages.
The implementation for checking linearizability using hitting families of schedules
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 fork of Apache Kafka from GitHub
Java implementation of tracingplane and baggage
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
Practical verification of numerical kernels
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.