Explore projects

https://os.mpi-sws.org/

The public repository of the paper "Interactive Programming for Parametric CAD".

Model checker for distributed systems using hitting families of schedules

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

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

DeathStarBench modified with X-Trace tracing

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

Hadoop, YARN, and HDFS, instrumented with tracing framework. Up to date with version 2.7.2. Most up to date branch is brownsys-tracingplane-2.7.2

Instrumented version of Cassandra

Integrates programming and direct manipulation for CAD.

HiBench is a Hadoop benchmark suite

SimBricks website source, automatically deployed to https://www.simbricks.io