A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Website for SOSP2021 (http://sosp2021.mpi-sws.org)
Model checker for distributed systems using hitting families of schedules
The main Coq development.
ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes