Explore projects

opam repository for old versions of things we develop (to avoid accumulating too many versions in the main repository)

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

Exercises for the Iris tutorial at POPL 2018

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

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

The implementation for checking linearizability using hitting families of schedules

Some example verification demonstrating the use of Iris.

ASTRA-sim2.0: Modeling Hierarchical Networks and Disaggregated Systems for Large-model Training at Scale

The Coq development for Iris

A survey of research papers published at systems conferences, to ascertain the role of visualization in the work, and the extent visualization is presented in the published works.