Academic Software for R&D Purposes
Sid
Touati
University of Nice Sophia Antipolis
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 by
H
E
V
E
A
.