Guillaume Revy

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 8

Top Venues

ASAP

ARITH

J. Syst. Archit.

SYNASC

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Guillaume Revy
Analyzing the impact of floating-point precision adaptation in iterative programs. ARITH (2021)
Luisa Arrabito, Konrad Bernlöhr, Johan Bregeon, Matthieu Carrère, Adnane Khattabi, Philippe Langlois, David Parello, Guillaume Revy
Optimizing Cherenkov Photons Generation and Propagation in CORSIKA for CTA Monte-Carlo Simulations. Comput. Softw. Big Sci. 4 (1) (2020)
Nicolas Brunie, Christoph Quirin Lauter, Guillaume Revy
Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation. ASAP (2019)
Hugues de Lassus Saint-Genies, Nicolas Brunie, Guillaume Revy
Meta-implementation of vectorized logarithm function in binary floating-point arithmetic. ASAP (2018)
Matthieu Martel, Amine Najahi, Guillaume Revy
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. J. Syst. Archit. 76 (2017)
Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. IEEE Trans. Computers 66 (12) (2017)
Guillaume Revy
Automated Design of Floating-Point Logarithm Functions on Integer Processors. ARITH (2016)
Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy
Range reduction based on Pythagorean triples for trigonometric function evaluation. ASAP (2015)
Matthieu Martel, Amine Najahi, Guillaume Revy
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. DASIP (2014)
Matthieu Martel, Amine Najahi, Guillaume Revy
Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. PECCS (2014)
Christophe Mouilleron, Amine Najahi, Guillaume Revy
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. SYNASC (2014)
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
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP (2012)
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor. IEEE Symposium on Computer Arithmetic (2011)
Christophe Mouilleron, Guillaume Revy
Automatic Generation of Fast and Certified Code for Polynomial Evaluation. IEEE Symposium on Computer Arithmetic (2011)
Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy
Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation. IEEE Trans. Computers 60 (2) (2011)
Claude-Pierre Jeannerod, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy, Christian Bertin, Jingyan Jourdan-Lu, Herve Knochel, Christophe Monat
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. PASCO (2010)
Florent de Dinechin, Mioara Joldes, Bogdan Pasca, Guillaume Revy
Multiplicative Square Root Algorithms for FPGAs. FPL (2010)
Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy, Gilles Villard
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor. IEEE Symposium on Computer Arithmetic (2009)
Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy
Faster floating-point square root for integer processors. SIES (2007)

Guillaume Revy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guillaume Revy