Explore projects

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

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

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

Integrates programming and direct manipulation for CAD.

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

Instrumented version of Cassandra

Model checker for distributed systems using hitting families of schedules

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

HiBench is a Hadoop benchmark suite

A certificate checker for roundoff error bounds (Public Version)