Guillaume Revy
Présentation
Publications
Publications
|
|
Optimizing Cherenkov photons generation and propagation in CORSIKA for CTA Monte-Carlo simulationsComputing and Software for Big Science, 2020, 4, pp.9. ⟨10.1007/s41781-020-00042-y⟩ |
|
|
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic FunctionsIEEE Transactions on Computers, 2017, 66 (12), pp.2058-2071. ⟨10.1109/TC.2017.2703870⟩ |
|
|
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocksJournal of Systems Architecture, 2017, 76, pp.133-148. ⟨10.1016/j.sysarc.2016.11.010⟩ |
Computing floating-point square roots via bivariate polynomial evaluationIEEE Transactions on Computers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩ |
|
|
Performance on SIMD architectures of auto-tuned programs for matrix multiplicationMCSoC 2024 - IEEE 17th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, Dec 2024, Kuala Lumpur, Malaysia. pp.564-571, ⟨10.1109/MCSoC64144.2024.00096⟩ |
|
|
Using loop transformations for precision tuning in iterative programsARITH 2023 - IEEE 30th Symposium on Computer Arithmetic, Sep 2023, Portland, United States. pp.159-166, ⟨10.1109/ARITH58626.2023.00031⟩ |
|
|
Analyzing the impact of floating-point precision adaptation in iterative programsARITH 2021 - IEEE 28th Symposium on Computer Arithmetic, Jun 2021, Lyngby, Denmark. pp.25-32, ⟨10.1109/ARITH51176.2021.00016⟩ |
|
|
Augmenter l’impact de la vectorisation par transformation automatique de programmesComPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France |
|
|
Precision Adaptation for Fast and Accurate Polynomial Evaluation GenerationASAP 2019 - IEEE 30th International Conference on Application-specific Systems, Architectures and Processors, Jul 2019, New York, United States. pp.41-41, ⟨10.1109/ASAP.2019.00-32⟩ |
|
|
Performance optimization of the air shower simulation program for the Cherenkov Telescope ArrayCHEP 2018 - 23rd International Conference on Computing in High Energy and Nuclear Physics, Jul 2018, Sofia, Bulgaria. pp.05041, ⟨10.1051/epjconf/201921405041⟩ |
|
|
Meta-implementation of vectorized logarithm function in binary floating-point arithmeticASAP 2018 - 29th IEEE International Conference Application-specific Systems, Architectures and Processors, Jul 2018, Milan, Italy. pp.1-8, ⟨10.1109/ASAP.2018.8445102⟩ |
|
|
Automated design of floating-point logarithm functions on integer processors23rd IEEE Symposium on Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩ |
|
|
Performances de schémas d'évaluation polynomiale sur architectures vectoriellesComPAS 2016 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Lab-STICC, Jul 2016, Lorient, France |
|
|
Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriquesComPAS 2015 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2015, Lille, France |
|
|
Range Reduction Based on Pythagorean Triples for Trigonometric Function EvaluationASAP 2015 - 26th IEEE International Conference Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩ |
|
|
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point ArithmeticSYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. pp.141-148, ⟨10.1109/SYNASC.2014.27⟩ |
|
|
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decompositionDASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩ |
|
|
Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix MultiplicationPECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. ⟨10.5220/0004884802040214⟩ |
|
|
Approach based on instruction selection for fast and certified code generationSCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia |
How to Square Floats Accurately and Efficiently on the ST231 Integer ProcessorARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩ |
|
|
|
Automatic Generation of Fast and Certified Code for Polynomial EvaluationARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩ |
|
|
Multiplicative square root algorithms for FPGAsInternational Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.14, ⟨10.1109/FPL.2010.112⟩ |
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩ |
|
|
|
Optimizing correctly-rounded reciprocal square roots for embedded VLIW coresAsilomar Conference on Signals, Systems, and Computers, Nov 2009, United States |
A new binary floating-point division algorithm and its software implementation on the ST231 processorARITH: Computer Arithmetic, Jun 2009, Portland, OR, United States. pp.95-103, ⟨10.1109/ARITH.2009.19⟩ |
|
|
|
Faster floating-point square root for integer processors2007 International Symposium on Industrial Embedded Systems, Jul 2007, Lisbon, Portugal. pp.324-327, ⟨10.1109/SIES.2007.4297353⟩ |
|
|
Error-free Tables for Trigonometric Function EvaluationARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. , 8e édition de l’école thématique Archi, 2015 |
Design of Fixed-Point Embedded Systems (defis) French ANR ProjectDASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. , pp.365-366, 2012 |
Optimisation des codes de simulation pour l'astronomie gammaL'interdisciplinarité. Voyages au-delà des disciplines, CNRS Edition, pp.253-257, 2023, 978-2271139832 |
|
|
Les nombres réels sur un processeur entier2014 |
|
|
How to square floats accurately and efficiently on the ST231 integer processor2010 |
|
|
Computing floating-point square roots via bivariate polynomial evaluation2010 |
|
|
Racines carrées multiplicatives sur FPGA2009 |
|
|
A new binary floating-point division algorithm and its software implementation on the ST231 processor2009 |
|
|
Analyse et implantation d'algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants2006 |
|
|
Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generationModeling and Simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. English. ⟨NNT : ⟩ |
Contribution to the automated generation of programs in computer arithmeticComputer Science [cs]. Université de Perpignan Via Domitia, France, 2023 |