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