Explore projects

Analysis of type classes for Backpack, part of Scott Kilpatrick's PhD thesis. Library for determining the worlds of type class knowledge that modules have. Also a binary, orphans-stats, to compute statistics about orphan instances.

Results for Clockwork OSDI 2020 paper

A verifier for approximations of transcendental functions.

Safety of a syntactically unsafe symbol ADT.

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

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

Some example verification demonstrating the use of Iris.

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