Explore projects

The BoolEAN POLynomial Evaluation library

Coriolis VLSI CAD Tools

Powerpoint and beamer template for MLIA/LIP6 using Sorbonne Université style

Coriolis VLSI CAD Tools

This is the source code of the 2021 replication for ReScience of the paper "Speedup Graph Processing by Graph Ordering" by Hao Wei, Jeffrey Xu Yu, Can Lu, and Xuemin Lin, published in Proceedings of SIGMOD 2016.

Coriolis VLSI CAD Tools

Specification of persistent storage for causal consistency database

migrating old papers from gforge

Subject of my Phd thesis.

Short abstract

Powerpoint and beamer template for MLIA/LIP6 using Sorbonne Université style

Powerpoint and beamer template for MLIA/LIP6 using Sorbonne Université style