Generative Models are being developed currently which can potentially be used for various applications such as data generation for training models. This project aims to analyse a generative model, the Variational Autoencoder and potential bias in it.

Practical verification of numerical kernels

Practical verification of numerical kernels

Code for RedQueen paper for simulating user walls synthetically as well as using real data.

A monadic translation of mini C into Iris's HeapLang [project website]

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.

Fork of https://gitlab.inria.fr/charguer/cfml2

The implementation for checking linearizability using hitting families of schedules

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