Current Software Projects

I'm involved in the development of the following softwares:

FADAlib: a library for Fuzzy Array Dataflow Analysis. The goal of this library is to provide compiler independent functions for performing precise instance-wise dataflow analysis on arrays and scalars. The analysis can be made either directly from C files, from an abstract syntax tree (built with library functions) or dataflow constraints. The software licence is GPL.

MAQAO: MAQAO is a Modular Assembly Quality Analyzer and Optimizer. The goal of the tool is to give the developper an estimation of the gap between the performance of a code and its peak performance. The estimation is based on a static performance model and can be completed with execution profiles. The software is available on demand.

X-Language: X-Language is a pragma language for the compact representation of multiple versions. By annotating C code with these pragmas, the user can describe multiple optimization sequences. The software is GPL.