Guillaume Revy

According to our database, Guillaume Revy authored at least 21 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Using loop transformations for precision tuning in iterative programs.

Youssef Fakhreddine, Guillaume Revy

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2021

Analyzing the impact of floating-point precision adaptation in iterative programs.

Guillaume Revy

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

2020

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., December, 2020

2019

Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation.

Nicolas Brunie, Christoph Quirin Lauter, Guillaume Revy

Proceedings of the 30th IEEE International Conference on Application-specific Systems, 2019

2018

Meta-implementation of vectorized logarithm function in binary floating-point arithmetic.

Hugues de Lassus Saint-Genies, Nicolas Brunie, Guillaume Revy

Proceedings of the 29th IEEE International Conference on Application-specific Systems, 2018

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

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

Matthieu Martel, Amine Najahi, Guillaume Revy

J. Syst. Archit., 2017

2016

Automated Design of Floating-Point Logarithm Functions on Integer Processors.

Guillaume Revy

Proceedings of the 23nd IEEE Symposium on Computer Arithmetic, 2016

2015

Range reduction based on Pythagorean triples for trigonometric function evaluation.

Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy

Proceedings of the 26th IEEE International Conference on Application-specific Systems, 2015

2014

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

Christophe Mouilleron, Amine Najahi, Guillaume Revy

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

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

Matthieu Martel, Amine Najahi, Guillaume Revy

Proceedings of the PECCS 2014, 2014

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

Matthieu Martel, Amine Najahi, Guillaume Revy

Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing, 2014

2012

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, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation.

Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy

IEEE Trans. Computers, 2011

Automatic Generation of Fast and Certified Code for Polynomial Evaluation.

Christophe Mouilleron, Guillaume Revy

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

How to Square Floats Accurately and Efficiently on the ST231 Integer Processor.

Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

2010

Multiplicative Square Root Algorithms for FPGAs.

Florent de Dinechin, Mioara Joldes, Bogdan Pasca, Guillaume Revy

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

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

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

2009

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

Guillaume Revy

PhD thesis, 2009

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

Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009

2007

Faster floating-point square root for integer processors.

Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007