Publications and communications

Book chapters

  1. Optimisation des codes de simulation pour l'astronomie gamma. Johan Bregeon, Luisa Arrabito, Matthieu Carrère, David Parello, and Guillaume Revy. In L'Interdisciplinarité - Voyages au-delà des disciplines, CNRS Edition, pages 253-257, January 2023.

International journals with review committees

  1. Optimizing Cherenkov photons generation and propagation in CORSIKA for CTA Monte-Carlo simulations. Luisa Arrabito, Johan Bregeon, Matthieu Carrère, Adnane Khattabi, Philippe Langlois, David Parello, and Guillaume Revy. In Computing and Software for Big Science, July 2020. [ DOI | HAL ]
  2. Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. Hugues De Lassus Saint-Geniès, David Defour, and Guillaume Revy. In IEEE Transactions on Computers, Special Section on Computer Arithmetic, volume 66(12), pages 2058-2071, IEEE Computer Society, December 2017. [ DOI | HAL ]
  3. Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks. Matthieu Martel, Amine Najahi, and Guillaume Revy. In Journal of Systems Architecture, volume 76, pages 133-148, Elsevier, May 2017. [ DOI | HAL ]
  4. Computing floating-point square roots via bivariate polynomial evaluation. Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, and Guillaume Revy. In IEEE Transactions on Computers, Special Section on Computer Arithmetic, volume 60(2), pages 214-227, IEEE Computer Society, February 2011. [ DOI | .bib | RR | HAL ]

International conferences with review committees and proceedings

  1. Using loop transformations for precision tuning in iterative programs. Youssef Fakhreddine and Guillaume Revy. In 30th IEEE Symposium on Computer Arithmetic (ARITH 2023), Portland, OR, USA, September 2023. [ DOI | .bib | HAL ]
  2. Analyzing the impact of floating-point precision adaptation in iterative programs. Guillaume Revy. In 28th IEEE Symposium on Computer Arithmetic (ARITH 2021), Virtual Conference, June 2021. [ DOI | .bib | HAL ]
  3. Precision Adaptation for Fast and Accurate Polynomial Evaluation Generation. Nicolas Brunie, Christoph Lauter, and Guillaume Revy. In 29th International Conference Application-specific Systems, Architectures and Processors (ASAP 2019), Poster session, New York, NY, USA, July 2019. [ DOI | .bib | HAL ]
  4. Performance optimization of the air shower simulation program for the Cherenkov Telescope Array. Luisa Arrabito, Konrad Bernlöhr, Johan Bregeon, Gernot Maier, Philippe Langlois, David Parello, and Guillaume Revy. In 23rd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2018), Sofia, Bulgaria, July 2018. [ DOI | .bib | HAL ]
  5. Meta-implementation of vectorized logarithm function in binary floating-point arithmetic. Hugues De Lassus Saint-Geniès, Nicolas Brunie, and Guillaume Revy. In 29th International Conference Application-specific Systems, Architectures and Processors (ASAP 2018), Milan, Italy, July 2018. [ DOI | .bib | HAL ]
  6. Automated design of floating-point logarithm functions on integer processors. Guillaume Revy. In 23rd IEEE Symposium on Computer Arithmetic (ARITH'23), pages 172-180, Santa Clara, CA, USA, July 2016. [ DOI | .bib | HAL ]
  7. Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation. Hugues De Lassus Saint-Geniès, David Defour, and Guillaume Revy. In 26th International Conference Application-specific Systems, Architectures and Processors (ASAP 2015), Toronto, Canada, July 2015. [ DOI | .bib | HAL ]
  8. Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition. Matthieu Martel, Amine Najahi, and Guillaume Revy. In 6th Conference on Design and Architectures for Signal and Image Processing (DASIP 2014), Madrid, Spain, October 2014. [ DOI | .bib | HAL ]
  9. Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. Christophe Mouilleron, Amine Najahi, and Guillaume Revy. In 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, September 2014. [ DOI | .bib | HAL ]
  10. Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication. Matthieu Martel, Amine Najahi, and Guillaume Revy. In 4th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2014), pages 204-214, Lisbon, Portugal, January 2014. [ DOI | .bib | HAL ]
  11. 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, Benoît Lopez, Éric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, Laurent Fangain, Christian Samoyeau, Fabrice Lemonnier, and Christophe Clienti. In 6th Conference on Design and Architectures for Signal and Image Processing (DASIP 2012), Demo night, Karlsruhe, Germany, October 2012. [ .bib | HAL ]
  12. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. Christophe Mouilleron and Guillaume Revy. In 20th IEEE Symposium on Computer Arithmetic (ARITH'20), pages 233-242, Tuebingen, Germany, July 2011. [ DOI | .bib | HAL ]
  13. How to square floats accurately and efficiently on the ST231 integer processor. Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, and Guillaume Revy. In 20th IEEE Symposium on Computer Arithmetic (ARITH'20), pages 77-81, Tuebingen, Germany, July 2011. [ DOI | .bib | HAL | RR ]
  14. Multiplicative square root algorithms for FPGAs. Florent de Dinechin, Mioara Joldes, Bogdan Pasca, and Guillaume Revy. In 20th IEEE International Conference on Field Programmable Logic and Applications (FPL'2010), pages 574-577, Milan, Italy, August-September 2010. [ DOI | .pdf | .bib | HAL ]
  15. Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, Christophe Mouilleron, Jean-Michel Muller, and Guillaume Revy. In 4th International Workshop on Parallel and Symbolic Computation (PASCO'2010), Grenoble, France, July 2010. [ DOI | .bib ]
  16. Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores. Claude-Pierre Jeannerod and Guillaume Revy. In 43rd Asilomar Conference on Signals, Systems, and Computers (Asilomar'09), Pacific Grove, CA, USA, November 2009 (Copyright 2001 SS&C). [ HAL | .bib | RR ]
  17. A new binary floating-point division algorithm and its software implementation on the ST231 processor. Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, and Gilles Villard. In 19th IEEE Symposium on Computer Arithmetic (ARITH'19), pages 95-103, Portland, OR, USA, June 2009. [ DOI | .pdf | .bib | HAL ]
  18. Faster floating-point square root for integer processors. Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, and Guillaume Revy. In 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), pages 324-327, Lisbon, Portugal, July 2007. [ DOI | .pdf | .bib ]
  19. UML/XML-based approach to hierarchical AMS synthesis. Ian O'Connor, Faress Tissafi-Drissi, Guillaume Revy, and Frédéric Gaffiot. In 2005 Forum on specification and Design Languages (FDL'2005), Lausanne, Switzerland, September 2005.

National conferences with review committees and proceedings

  1. Augmenter l'impact de la vectorisation par transformation automatique de programmes. Harris Ludwig Boudi, Philippe Langlois, and Guillaume Revy. In Conférence d'informatique en Parallélisme, Architecture et Système (Compas'2020), Lyon, France, June-July 2020. [ .bib | HAL ]
  2. Performances de schémas d'évaluation polynomiale sur architectures vectorielles. Hugues De Lassus Saint-Geniès and Guillaume Revy. In Conférence d'informatique en Parallélisme, Architecture et Système (Compas'2016), Lorient, France, July 2016. [ .bib | HAL ]
  3. Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques. Hugues De Lassus Saint-Geniès, David Defour, and Guillaume Revy. In Conférence d'informatique en Parallélisme, Architecture et Système (Compas'2015), Lille, France, July 2015. [ .bib | HAL ]
  4. Racines carrées multiplicatives sur FPGA. Florent de Dinechin, Mioara Joldes, Bogdan Pasca, and Guillaume Revy. In RenPar'19, Sympa'13, and CFSE'7, Toulouse, France, September 2009. [ .pdf | .bib | RR ]

International conferences with abstract only

  1. Approach based on instruction selection for fast and certified code generation. Christophe Mouilleron, Amine Najahi, and Guillaume Revy. In 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012), Novosibirsk, Russia, September 2012. [ .pdf | .bib | HAL ]
  2. Techniques for the automatic debugging of scientific floating-point programs. David H. Bailey, James Demmel, William Kahan, Guillaume Revy, and Koushik Sen. In 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2010), Lyon, France, September 2010. [ .pdf | .bib ]

Dissertations

  1. Contribution to the automated generation of programs in computer arithmetic. Guillaume Revy. HDR Thesis, Université de Perpignan Via Domitia, France, July 18th, 2023. [ pdf | slides ]
  2. Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. Guillaume Revy. Ph.D. Thesis, Université de Lyon - École Normale Supérieure de Lyon, Lyon, France, December 1st, 2009. [ TEL | .pdf | .ps | .bib | Slides (.pdf) ]
  3. Analyse et implantation d'algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants. Guillaume Revy. Master's Thesis, École Normale Supérieure de Lyon, Lyon, France, June 16th, 2006. [ HAL | .bib | Slides (.pdf) ]

Some talks

  1. LLVM tutorial: How to write a simple LLVM pass?. Fourth REPRISES face-to-face meeting. Jussieu, Paris, France, April 2022.
  2. Analyzing the impact of floating-point precision adaptation in iterative programs. Fourth REPRISES face-to-face meeting. Jussieu, Paris, France, April 2022.
  3. Analyzing the impact of floating-point precision adaptation in iterative programs. ARITH 2021. Virtual Conference, June 2021.
  4. Automated tools for the implementation of mathematical functions. Évaluation HCERES 2020 (Démo). LIRMM, Montpellier, France, January 2020.
  5. A LLVM tool to automatically combine floating-point with multiple-precision computations. Second REPRISES face-to-face meeting. CC, IN2P3, Lyon, France, April 2019.
  6. Roadmap for the implementation of vectorized mathematical functions. CTAOptSim General Workshop. LUPM, Montpellier, France, December 2018.
  7. Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Function. First REPRISES face-to-face meeting. CC, IN2P3, Lyon, June 2018.
  8. Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Function. MetaLibm Open Workshop 2018. Sorbonne Université, LIP6, March 2018.
  9. Approach based on instruction selection for fast and certified code generation. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2012), Novosibirsk, Russia, September 2012.
  10. Automatic Synthesis of Fast and Certified Code for Polynomial Evaluation. Réunion ANR DEFIS, Paris, France, March 2012.
  11. Techniques for the automatic debugging of scientific floating-point programs. Séminaire CCT/STIL (CNES), Toulouse, France, January 2012. [ .pdf ]
  12. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. Groupe de travail de l'équipe PEQUAN (LIP6, UPMC), Paris, France, July 2011. [ .pdf ]
  13. Techniques for the automatic debugging of scientific floating-point programs. 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2010), Lyon, France, September 2010.
  14. Techniques for the automatic debugging of scientific floating-point programs. Séminaire de l'équipe DALI (ELIAUS, Université de Perpignan Via Domitia), Perpignan, France, September 2010.
  15. Techniques for the automatic debugging of scientific floating-point programs. OSQ (Open Source Quality) Retreat, Santa Cruz, CA, USA, May 2010. [ .pdf ]
  16. Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. BeBOP meeting (ParLab, EECS, UC Berkeley), Berkeley, CA, USA, March 2010. [ .pdf ]
  17. Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. Séminaire - Compilation Expertise Center (STMicroelectronics Grenoble), Grenoble, France, December 2009. [ .pdf ]
  18. Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation. Groupe de travail de l'équipe ARITH (LIRMM, Université de Montpellier II), Montpellier, France, December 2009. [ .pdf ]
  19. Fast and accurate floating-point division on ST231. Séminaire de l'équipe DALI (ELIAUS, Université de Perpignan Via Domitia), Perpignan, France, June 2009. [ .pdf ]
  20. Fast and accurate floating-point division on ST231. Journée séminaire - Optimisation de compilation pour les processeurs embarqués (LIP, ENS Lyon), Lyon, France, June 2009. [ .pdf ]
  21. A new binary floating-point division algorithm and its software implementation on the ST231 processor. 19th IEEE Symposium on Computer Arithmetic (ARITH'19), Portland, OR, USA, June 2009. [ .pdf ]
  22. A new binary floating-point division algorithm and its implementation in software. Groupe de travail Arénaire (LIP-ENS Lyon), Lyon, France, November 2008. [ .pdf ]
  23. Support logiciel pour l'arithmétique flottante simple précision sur processeurs entiers. Groupe de travail Méthodes Ensemblistes pour l'Automatique (MEA), Paris, France, November 2007. [ .pdf ]
  24. Exemple d'implantation de fonction mathématique sur ST240. Réunion EVA-Flo, Perpignan, France, October 2007. [ .pdf ]
  25. Exemple d'implantation de fonction mathématique sur ST200. Journée Arénaire/Compsys/ST (ENS Lyon), Lyon, France, September 2007. [ .pdf ]
  26. Faster floating-point square root for integer processors. 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon, Portugal, July 2007. [ .pdf ]
  27. Racine carrée simple précision sur processeur entier. Groupe de travail Arénaire (LIP-ENS Lyon), Lyon, France, April 2007. [ .pdf ]
  28. Algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants. Rencontres Arithmétique de l'Informatique Mathématique 2007 (RAIM'2007), Montpellier, France, January 2007. [ .pdf ]
  29. Algorithmes rapides pour l'évaluation polynomiale sur les nombres flottants. Séminaire de l'équipe DALI (Laboratoire ELIAUS, Université de Perpignan Via Domitia), Perpignan, France, November 2006. [ .pdf ]

Posters

  1. Techniques for the automatic debugging of scientific floating-point programs. David H. Bailey, James Demmel, William Kahan, Guillaume Revy, and Koushik Sen. ParLab Summer Retreat, Santa Cruz, CA, USA, May 2010. [ .pdf | .pdf (preview) ]
  2. Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores. Claude-Pierre Jeannerod and Guillaume Revy. 43rd Asilomar Conference on Signals, Systems and Computers (Asilomar'09), Pacific Grove, CA, USA, November 2009. [ .pdf ]
  3. Faster floating-point square root for integer processors. Guillaume Revy, Claude-Pierre Jeannerod, Hervé Knochel, and Christophe Monat. 2nd IEEE International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon, Portugal, July 2007. [ .pdf ]