Explore projects

Modified version of the TPC-DS benchmark; primarily used as a workload for Spark. Has been modified to support tracing.

Distributed register implementation inside Intel SGX

golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.

Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

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

Iris with transfinite step-indexing

A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis

The Coq development for Iris. [project website] [coqdoc]

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

The Coq development for Iris. [project website] [coqdoc]