Explore projects

UniTraX data for experiments. See main repository at https://gitlab.mpi-sws.org/anon/unitrax for more information.

UniTraX 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.

Mirror of https://github.com/dmlc/tvm for internal development

Check other branches for active development.

Don't forgot to git submodule init and git submodule update!

Exercises for the Iris tutorial

Deprecated repository; please use the POPL 2021 version instead

Exercises for the Iris tutorial at POPL 2018

Iris with transfinite step-indexing

Iris with transfinite step-indexing

Iris with transfinite step-indexing

Java implementation of tracingplane and baggage

golang implementation of tracingplane / baggage stuff.

Note that some of the go imports might be out of whack since the repository is cloned from GitHub

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

TEE-based Metadata Service