Explore projects

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

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

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

Model checker for distributed systems using hitting families of schedules

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