Explore projects
-
-
Updated
-
-
anon / UniTraX
GNU General Public License v3.0 onlyUniTraX is a data analytics system that provides users with a personal differentially private bound on privacy loss. UniTraX is able to allow more queries than previous systems, without giving up on analytic accuracy.
Updated -
Updated
-
Updated
-
-
A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Updated -
Burcu Özkan / pctcp-cass
OtherPCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated -
Groundhog / OpenWhisk
Apache License 2.0Updated -
cld / systems / sock-shop / orders
Apache License 2.0Updated -
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
Updated
-
cld / systems / zookeeper
Apache License 2.0ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
Updated -
The benchmark repository for the added float support to the KeY deductive verifier.
Updated -
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 -
Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.
Updated -
-
Updated
-
cld / tracing / tracingplane-java
BSD 3-Clause "New" or "Revised" LicenseJava implementation of tracingplane and baggage
Updated