Website for SOSP2021 (http://sosp2021.mpi-sws.org)
The public repository of the paper "Interactive Programming for Parametric CAD".
Integrates programming and direct manipulation for CAD.
Model checker for distributed systems using hitting families of schedules
HiBench is a Hadoop benchmark suite
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
DeathStarBench modified with X-Trace tracing
Instrumented version of Cassandra
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes