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.
References:
- https://cris.unibo.it/retrieve/handle/11585/613674/376692/Tagliavini_et_al_2018_DATE_postprint.pdf
- https://cris.unibo.it/retrieve/handle/11585/677699/446267/flexfloat-postprint.pdf
For additional information, you can contact: Giuseppe Tagliavini