Explore projects
-
Updated
-
A custom Akka dispatcher that logs and controls the delivery order of actor messages.
Updated -
Updated
-
A certificate checker for roundoff error bounds (Public Version)
Archived 0Updated -
-
The implementation for checking linearizability using hitting families of schedules
Updated -
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
Updated -
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
Updated -
-
Updated
-
-
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
Updated -
-
-
Updated
-
Updated
-
Updated