Explore projects

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.

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).

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

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

An extended "Standard Library" for Coq

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

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

Prototype DNN Serving System that can support thousands of models, dozens of worker machines, and low-latency SLOs. (OSDI '20)

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

The Coq development for Iris

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

The main Coq development.