Amine Najahi

Approach based on instruction selection for fast and certified code generation

Christophe Mouilleron, Amine Najahi, Guillaume Revy, 2012 .

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks

Matthieu Martel, Amine Najahi, Guillaume Revy, 2017, J. Syst. Archit..

Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication

Matthieu Martel, Amine Najahi, Guillaume Revy, 2014, PECCS.

Design of fixed-point embedded systems (DEFIS) French ANR project

Eric Goubault, Romuald Rocher, Daniel Ménard, 2012, Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing.

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition

Matthieu Martel, Amine Najahi, Guillaume Revy, 2014, Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing.

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic

Christophe Mouilleron, Amine Najahi, Guillaume Revy, 2014, 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

linear algebra basic blocks

Matthieu Martel, Amine Najahi, Guillaume Revy, 2016 .