A source-to-source compiler for the transprecision analysis of C programs

FlexFloat is an open-source software library that has been designed to aid the analysis and development of transprecision applications (see https://github.com/oprecomp/flexfloat). The tools for static precision tuning used in the project require that a C program has to be transformed to use FlexFloat primitives (examples are available at https://github.com/oprecomp/flexfloat-benchmarks). This code transformation can be done manually or by means of automatic tools; in the context of the project. We are looking for project proposals that propose a source-to-source methodology to include FlexFloat primitives into C programs and automatically generate wrappers to integrate external analysis tools.


For additional information, you can contact: Giuseppe Tagliavini