Faster floating-point square root for integer processors. - Claude-Pierre Jeannerod; Herve Knochel; Christophe Monat; Guillaume Revy (SIES, 2007)

A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor. - Claude-Pierre Jeannerod; Herve Knochel; Christophe Monat; Guillaume Revy; Gilles Villard (IEEE Symposium on Computer Arithmetic, 2009)

Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. - Guillaume Revy (2009)

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. - Claude-Pierre Jeannerod; Christophe Mouilleron; Jean-Michel Muller; Guillaume Revy; Christian Bertin; Jingyan Jourdan-Lu; Herve Knochel; Christophe Monat (PASCO, 2010)

Multiplicative Square Root Algorithms for FPGAs. - Florent de Dinechin; Mioara Joldes; Bogdan Pasca 001; Guillaume Revy (FPL, 2010)

How to Square Floats Accurately and Efficiently on the ST231 Integer Processor. - Claude-Pierre Jeannerod; Jingyan Jourdan-Lu; Christophe Monat; Guillaume Revy (IEEE Symposium on Computer Arithmetic, 2011)

Automatic Generation of Fast and Certified Code for Polynomial Evaluation. - Christophe Mouilleron; Guillaume Revy (IEEE Symposium on Computer Arithmetic, 2011)

Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation. - Claude-Pierre Jeannerod; Herve Knochel; Christophe Monat; Guillaume Revy (IEEE Trans. Computers, 2011)

Design of fixed-point embedded systems (DEFIS) French ANR project. - Daniel Ménard; Romuald Rocher; Olivier Sentieys; Nicolas Simon; Laurent-Stéphane Didier; Thibault Hilaire; Benoit Lopez; Eric Goubault; Sylvie Putot; Franck Védrine; Amine Najahi; Guillaume Revy; et al. (DASIP, 2012)

Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. - Matthieu Martel; Amine Najahi; Guillaume Revy (DASIP, 2014)

Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. - Matthieu Martel; Amine Najahi; Guillaume Revy (PECCS, 2014)

Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. - Christophe Mouilleron; Amine Najahi; Guillaume Revy (SYNASC, 2014)

Range reduction based on Pythagorean triples for trigonometric function evaluation. - Hugues de Lassus Saint-Genies; David Defour; Guillaume Revy (ASAP, 2015)

Automated Design of Floating-Point Logarithm Functions on Integer Processors. - Guillaume Revy (ARITH, 2016)

Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. - Matthieu Martel; Amine Najahi; Guillaume Revy (J. Syst. Archit., 2017)

Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. - Hugues de Lassus Saint-Genies; David Defour; Guillaume Revy (IEEE Trans. Computers, 2017)

Meta-implementation of vectorized logarithm function in binary floating-point arithmetic. - Hugues de Lassus Saint-Genies; Nicolas Brunie; Guillaume Revy (ASAP, 2018)

Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation. - Nicolas Brunie; Christoph Quirin Lauter; Guillaume Revy (ASAP, 2019)

Optimizing Cherenkov Photons Generation and Propagation in CORSIKA for CTA Monte-Carlo Simulations. - Luisa Arrabito; Konrad Bernlöhr; Johan Bregeon; Matthieu Carrère; Adnane Khattabi; Philippe Langlois; David Parello; Guillaume Revy (Comput. Softw. Big Sci., 2020)

Analyzing the impact of floating-point precision adaptation in iterative programs. - Guillaume Revy (ARITH, 2021)

Contribution to the automated generation of programs in computer arithmetic. - Guillaume Revy (2023)

Using loop transformations for precision tuning in iterative programs. - Youssef Fakhreddine; Guillaume Revy (ARITH, 2023)

Performance on SIMD architectures of auto-tuned programs for matrix multiplication. - Youssef Fakhreddine; Guillaume Revy (MCSoC, 2024)