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