Explore projects

Deprecated repository; please use the POPL 2021 version instead

https://os.mpi-sws.org/

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

Local Simulation proofs, the Iris style

opam repository for development versions of things we develop.

A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)

Public releases for the dPCF project

The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.

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

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

Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version

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.

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

golang implementation of tracingplane / baggage stuff.

Note that some of the go imports might be out of whack since the repository is cloned from GitHub

Java implementation of tracingplane and baggage

HiBench is a Hadoop benchmark suite

YCSB is a cloud database benchmark that we use for HBase