Explore projects

Results for Clockwork OSDI 2020 paper

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)

The main Coq development.

DeathStarBench modified with X-Trace tracing