Guillaume Revy

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