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".
Website for SOSP2021 (http://sosp2021.mpi-sws.org)
Instrumented version of Cassandra
DeathStarBench modified with X-Trace tracing
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
A certificate checker for roundoff error bounds (Public Version)
Model checker for distributed systems using hitting families of schedules