Explore projects

Test de protocol de consensus c4m

Static Timing Analyser

Control of accuracy and debugging for Python applications

Control of accuracy and debugging for C/C++ applications relying on fixed-point arithmetic

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 bulk of the code developed during my PhD thesis « Efficient multiword matrix product algorithm using floating-point arithmetic over finite prime fields » (not yet defended/nor published).

Uniform precision variant

http://public.algo-prog.info/journees-franciliennes-de-programmation.org/