Explore projects

Practical verification of numerical kernels

Practical verification of numerical kernels

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

Java implementation of tracingplane and baggage

Instrumented fork of Apache Kafka from GitHub

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

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

The implementation for checking linearizability using hitting families of schedules

A certificate checker for roundoff error bounds

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