Explore projects

Standalone prebuilt X-Trace server and dockerized X-Trace server

An extended "Standard Library" for Coq. [coqdoc]

The Coq development for Iris

This project contains some scripts and other files that are used by many Iris project for their CI

Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

Practical verification of numerical kernels

The implementation for checking linearizability using hitting families of schedules

A custom Akka dispatcher that logs and controls the delivery order of actor messages.

An extended "Standard Library" for Coq. [coqdoc]

An extended "Standard Library" for Coq. [coqdoc]