Explore projects
-
AVA / daisy-certification-public
BSD 2-Clause with views sentenceUpdated -
AVA / FloVer _public
BSD 2-Clause with views sentenceA certificate checker for roundoff error bounds (Public Version)
Archived 0Updated -
cld / systems / spark
Apache License 2.0Spark 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 -
A custom Akka dispatcher that logs and controls the delivery order of actor messages.
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 -
The implementation for checking linearizability using hitting families of schedules
Updated -
-
cld / tracing / tracingplane-java
BSD 3-Clause "New" or "Revised" LicenseJava implementation of tracingplane and baggage
Updated -
Updated
-
AVA / FloVer
BSD 2-Clause with views sentenceA certificate checker for roundoff error bounds
Updated -
Groundhog / OpenWhisk Cli
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-c
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-nodejs
Apache License 2.0Updated -
Groundhog / OpenWhisk
Apache License 2.0Updated -
Groundhog / openwhisk-runtime-python
Apache License 2.0Updated -
-
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
Updated