Explore projects

Specification of persistent storage for causal consistency database

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

Coriolis VLSI CAD Tools

migrating old papers from gforge

Coriolis VLSI CAD Tools

Subject of my Phd thesis.

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.

The BoolEAN POLynomial Evaluation library

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

A usage example of the unofficial LiP6 Beamer theme at https://gitlab.lip6.fr/felsoci/beamerthemelip6.

An unofficial LiP6 Beamer template for typesetting slides in LaTeX.

Self-introductory slides essentially presenting the past work of Marek Felšöci on solvers for coupled sparse/dense linear systems in aeroacoustics and automatic task-based parallelization of C source code.