Explore projects

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.

Spark instrumented with tracing framework. Up to date with version 1.6.1; last modified end of 2017. Most up to date branch is brownsys-tracingplane-v1.6.1

Model checker for distributed systems using hitting families of schedules

The Coq development of LambdaRust

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

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

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

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(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

The Coq development for Iris