## Academic Software for R&D Purposes## Sid Touati |

- DDG: A C++ Data Dependence Graph Library for Optimizing Compilation.
- Speedup-Test: A rigorous statistical protocole to certify the observed speedups.
- SIRAlib: An Independent C-library for Register Pressure Reduction in Data Dependence Graphs.
- RSlib: An Independent C-library for Register Saturation Computation.
- In memory of Vincent Bouchitté : Dilworth Decomposition (Maximal Antichain in Orders, resp. Minimal Chain Decomposition). i
- Maximal Stable Set in an Interval Graph: an O(n ln n) algorithm.
- Fuzzy Array Dataflow Analysisi Toolkit: a C++ implementation.

This document was translated from L^{A}T_{E}X byH^{E}V^{E}A.