Explore projects

ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)

YCSB is a cloud database benchmark that we use for HBase

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

A simulator to visualize/analyze tracking data from VR

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!

Iris with transfinite step-indexing

Iris with transfinite step-indexing

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

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks

The main Coq development.

The main Coq development.

The main Coq development.

The main Coq development.