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