English version

Publications et travaux de recherche

Journaux internationaux avec comité de lecture

• Efficient and Validated Numerical Evaluation of Abelian Integrals, en collaboration avec Florent Bréhard, Mioara Joldeş et Warwick Tucker, ACM Transactions on Mathematical Software, à paraître.
• Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic, en collaboration avec Jean-Michel Muller et Joris Picot, à paraître aux IEEE Transactions on Emerging Topics in Computing.
• Approximation speed of quantized vs. unquantized ReLU neural networks and beyond, en collaboration avec Antoine Gonon, Rémi Gribonval et Elisa Riccietti, IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977.
• Differential-Difference Properties of Hypergeometric Series, en collaboration avec Bruno Salvy, Proceedings of the American Mathematical Society 151 (2023), 2603-2617.
• Error analysis of some operations involved in the Fast Fourier Transform, en collaboration avec Mioara Joldeş, Jean-Michel Muller, Ana-Maria Naneş et Joris Picot, ACM Transactions on Mathematical Software, Vol. 46, Issue 2, May 2020, Article n. 11.
• Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations, en collaboration avec Florent Bréhard et Mioara Joldeş, ACM Transactions on Mathematical Software, Vol. 44, Issue 4, Aug. 2018, Article n. 44.
• A lattice basis reduction approach for the design of finite wordlength FIR filters, en collaboration avec Silviu-Ioan Filip et Guillaume Hanrot, IEEE Transactions on Signal Processing, Volume 66, No 10, pages 2673-2684, May 2018.
• Exponential sums and correctly-rounded functions, en collaboration avec Guillaume Hanrot et Olivier Robert, IEEE Transactions on Computers, Volume 66, No 12, pages 2044-2057, December 2017.
• On a two-valued sequence and related continued fractions in power series fields, en collaboration avec Bill Allombert et Alain Lasjaunias, The Ramanujan Journal, Volume 45, Issue 3, pp 859-871, April 2018.
• Comparison between binary and decimal floating-point numbers, en collaboration avec Christoph Lauter, Marc Mezzarobba et Jean-Michel Muller, IEEE Transactions on Computers, Volume 65, No 7, pages 2032-2044, July 2016.
• (M,p,k)-Friendly Points: a Table-Based Method to Evaluate Trigonometric Functions, en collaboration avec Dong Wang, Jean-Michel Muller et Miloš Ercegovac, IEEE Transactions on Circuits and Systems II: express briefs, Volume 31, No 9, pages 711-715, September 2014.
• Algorithms and Arithmetic Operators for Computing the η_T Pairing in Characteristic Three, en collaboration avec Jean-Luc Beuchat, Jérémie Detrey, Eiji Okamoto, Masaaki Shirase et Tsuyoshi Takagi, IEEE Transactions on Computers, Vol. 57, n. 11, 2008, pages 1454-1468. Il y a un appendice à cet article.
• Correctly Rounded Multiplication by Arbitrary Precision Constants, en collaboration avec Jean-Michel Muller, IEEE Transactions on Computers, Vol. 57, n. 2, 2008, pages 165-174.
• Correct Rounding of Algebraic Functions, en collaboration avec Jean-Michel Muller, RAIRO Theoretical Informatics and Applications, Vol. 41, pages 71-83, jan-march 2007.
• Hardware Operators for Function Evaluation Using Sparse-Coefficient Polynomials, en collaboration avec Jean-Michel Muller, Arnaud Tisserand et Serge Torres, Electronic Letters, Vol. 42, Issue 25, Dec. 2006, pages 1441-1442.
• Computing Machine-Efficient Polynomial Approximations, en collaboration avec Jean-Michel Muller et Arnaud Tisserand, ACM Transactions on Mathematical Software, Vol. 32, n. 2, Jun. 2006, pages 236-256.
• Effective Lower and Upper Bounds for the Fourier Coefficients of Powers of the Modular Invariant j, en collaboration avec Georges Philibert, Journal of the Ramanujan Mathematical Society, Vol. 20., n. 4, Dec. 2005, pages 255-282.
• A New Range Reduction Algorithm, en collaboration avec David Defour, Peter Kornerup, Jean-Michel Muller et Nathalie Revol, IEEE Transactions on Computers, Vol. 54, n. 3, 2005, pages 331-339.
• Accelerating Correctly Rounded Floating-Point Division when the Divisor is Known in Advance, en collaboration avec Jean-Michel Muller et Saurabh Kumar Raina, IEEE Transactions on Computers, Vol. 53, n. 8, 2004, pages 1069-1072.
• Irrationality Measures of log 2 and π/ √ 3 , Experimental Mathematics, 10-1, 2001, 35-52.
• Sur les fonctions entières à double pas récurrent, en collaboration avec Laurent Habsieger, Annales de l'Institut Fourier, 49-2, 1999, 653-671.

Articles dans des actes de conférences internationales

• A path-norm toolkit for modern networks: consequences, promises and challenges, en collaboration avec Antoine Gonon, Rémi Gribonval et Elisa Riccietti, à paraître dans les actes de la Twelfth International Conference on Learning Representations (ICLR 2024).
• Towards Machine-Efficient Rational L^∞-Approximations of Mathematical Functions, en collaboration avec Silviu-Ioan Filip, à paraître dans les proceedings of the 30th IEEE Symposium on Computer Arithmetic (ARITH-30), Portland (Oregon, USA), 2023.
• Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform, en collaboration avec Jean-Michel Muller et Joris Picot, à paraître dans les proceedings of the 30th IEEE Symposium on Computer Arithmetic (ARITH-30), Portland (Oregon, USA), 2023.
• A High Throughput Polynomial and Rational Function Approximations Evaluator, en collaboration avec George A. Constantinides, Miloš Ercegovac, Silviu-Ioan Filip, Matei Istoan et Jean-Michel Muller, proceedings of the 25th IEEE Symposium on Computer Arithmetic (ARITH-25), pages 99-106, Amherst (MA, USA), Juin 2018.
• Comparison between binary64 and decimal64 floating-point numbers, en collaboration avec Christoph Lauter, Marc Mezzarobba et Jean-Michel Muller, proceedings of the 21st IEEE Symposium on Computer Arithmetic (ARITH-21), pages 145-152, Austin (Texas, USA), April 2013.
• (M,p,k)-friendly points: a table-based method for trigonometric function evaluation, en collaboration avec Miloš Ercegovac et Jean-Michel Muller, 23rd IEEE Conference on Application-Specific Systems, Architectures and Processors (ASAP'2012), pages 46-52, Delft (The Netherlands), July 2012.
• Rigorous Polynomial Approximation using Taylor Models in Coq, en collaboration avec Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Paşca, Laurence Rideau et Laurent Théry, 4th NASA Formal Methods Symposium (NFM 2012), pages 85-99, Norfolk (VA, USA), April 2012.
• Augmented precision square roots, 2-D norms, and discussion on correctly rounding √ x²+y²  , en collaboration avec Mioara Joldeş, Peter Kornerup, Érik Martin-Dorel and Jean-Michel Muller, proceedings of the 20th IEEE Symposium on Computer Arithmetic (ARITH-20), pages 23-30, Tübingen (Germany), July 2011.
• Chebyshev interpolation polynomial-based tools for rigorous computing, en collaboration avec Mioara Joldeş, proceedings of the 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), pages 147-154. Munich, Germany, July 2010. https://hal.archives-ouvertes.fr/ensl-00472509.
• Implementing Decimal Floating-Point Arithmetic through Binary: some Suggestions (poster), en collaboration avec Miloš Ercegovac, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller et Adrien Panhaleux, Proc. 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'2010), pages 317-320, Rennes, France, July 7-9, 2010.
• A Comparison between Hardware Accelerators for the Modified Tate Pairing over F_2^m and F_3^m, en collaboration avec Jean-Luc Beuchat, Jérémie Detrey, Eiji Okamoto et Francisco Rodríguez-Henríquez, Second International Conference on Pairing-based Cryptography (Pairing'08), numéro 5209 des Lecture Notes in Computer Science. Egham, Royaume-Uni, septembre 2008, 297-315. Springer-Verlag. Cryptology ePrint Archive, Report 2008/115, 2007. Une version légèrement plus ancienne mais plus complète est disponible ici.
• An Efficient Method for Evaluating Polynomial and Rational Function Approximations, en collaboration avec Sylvain Chevillard, Miloš Ercegovac, Jean-Michel Muller et Serge Torres, 19th IEEE Conference on Application-Specific Systems, Architectures and Processors (ASAP'2008), Leuven (Belgium), pages 245-250, July 2008.
• Integer and Floating-Point Constant Multipliers for FPGAs, en collaboration avec Florent de Dinechin et Jean-Michel Muller, 19th IEEE Conference on Application-Specific Systems, Architectures and Processors (ASAP'2008), Leuven (Belgium), pages 239-244, July 2008.
• Arithmetic Operators for Pairing-Based Cryptography, en collaboration avec Jean-Luc Beuchat, Jérémie Detrey et Eiji Okamoto. In P. Paillier and I. Verbauwhede, editors, Proceedings of CHES 2007, numéro 4727 des Lecture Notes in Computer Science, pages 239-255, 2007. Springer. Cryptology ePrint Archive, Report 2007/091, 2007.
• A Coprocessor for the Final Exponentiation of the η_T Pairing in Characteristic Three, en collaboration avec Jean-Luc Beuchat, Eiji Okamoto, Masaaki Shirase et Tsuyoshi Takagi. In C. Carlet and B. Sunar, editors, Proceedings of Waifi 2007, numéro 4547 des Lecture Notes in Computer Science, pages 25-39, 2007. Springer. Cryptology ePrint Archive, Report 2007/045, 2007.
• Floating-Point L²-Approximations, en collaboration avec Guillaume Hanrot, 18th IEEE Symposium on Computer Arithmetic (ARITH-18), Montpellier (France), pages 177-184, June 2007. https://hal.inria.fr/inria-00119254.
• Efficient Polynomial L^∞-Approximations, en collaboration avec Sylvain Chevillard, 18th IEEE Symposium on Computer Arithmetic (ARITH-18), Montpellier (France), pages 169-176, June 2007. https://hal.inria.fr/inria-00119513.
• Correctly Rounded Multiplication by Arbitrary Precision Constants, en collaboration avec Jean-Michel Muller, 17th IEEE Symposium on Computer Arithmetic (ARITH-17), Cape Cod (MA, USA), pages 13-20, June 2005.
• Functions Approximable by E-Fractions, en collaboration avec Jean-Michel Muller, Proc. 38th Conference on signals, systems and computers, Pacific Grove, California, U.S.A., pages 1341-1344, Nov. 2004.
• Sparse-Coefficient Polynomial Approximations for Hardware Implementations, en collaboration avec Jean-Michel Muller et Arnaud Tisserand, Proc. 38th Conference on Signals, Systems and Computers, Pacific Grove, California, U.S.A., pages 532-535, Nov. 2004.

Articles soumis, rapports de recherche, travaux en cours

• An Algorithm for Finding Entire Solutions of Systems of Difference Equations, rapport de recherche LIP RR2003-53.
• High-Throughput Hardware Architecture for the SWIFFT / SWIFFTX Hash Functions, en collaboration avec Tamas Györfi, Guillaume Hanrot, et Octavian Creț, Cryptology ePrint Archive, Report 2012/343.
• Automatic generation of hardware FIR filters from a frequency domain specification, en collaboration avec Silviu-Ioan Filip, Matei Istoan et Florent de Dinechin.
• Integer points close to a transcendental curve and correctly-rounded evaluation of a function, en collaboration avec Guillaume Hanrot, soumis.

Autres

• Une étude de deux problèmes diophantiens, thèse de doctorat de Mathématiques Pures, soutenue le 25 septembre 1998 à l'Université Bordeaux I.
• Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs, habilitation à diriger les recherches en Informatique, soutenue le 5 septembre 2017 à l'École Normale Supérieure de Lyon.
• La page du module Pasrec. Pasrec est un module, écrit en Maple, dont l'objet est la résolution de systèmes d'équations aux différences.
• Rédaction de la Leçon de Mathématiques d'Aujourd'hui ``Fonctions modulaires et transcendance'' donnée par Michel Waldschmidt le 30 novembre 1996 à Bordeaux. Éditions Cassini, Leçons de mathématiques d'aujourd'hui, volume 2, Le Sel et le Fer, numéro 12 (2003), leçon 5, 167-196.