Explore projects

YCSB is a cloud database benchmark that we use for HBase

Standalone prebuilt X-Trace server and dockerized X-Trace server

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

This project hopes to gather bibliographic sources regarding weak memory.

This project hopes to gather bibliographic sources regarding weak memory.

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

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

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

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

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

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

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

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