Academic Software for R&D Purposes

• 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^AT_EX by H^EV^EA.