A custom Akka dispatcher that logs and controls the delivery order of actor messages.
A certificate checker for roundoff error bounds (Public Version)
A certificate checker for roundoff error bounds
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
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
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