EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1A. Bostan, C.-P. Jeannerod, É. Schost.

    Solving structured linear systems with large displacement rank, in: Theoretical Computer Science, November 2008, vol. 407, no 1:3, p. 155–181.
  • 2N. Brisebarre, M. Joldeş.

    Chebyshev interpolation polynomial-based tools for rigorous computing, in: ISSAC 2010: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, Munich, Germany, S. M. Watt (editor), ACM, July 2010, p. 147-154.
  • 3G. Hanrot, V. Lefèvre, D. Stehlé, P. Zimmermann.

    Worst Cases of a Periodic Function for Large Arguments, in: Proceedings of the 18th IEEE Symposium on Computer Arithmetic (ARITH-18), IEEE Computer Society, 2007, p. 133–140.

    http://doi.ieeecomputersociety.org/10.1109/ARITH.2007.37
  • 4G. Hanrot, D. Stehlé.

    Improved Analysis of Kannan's Shortest Lattice Vector Algorithm (Extended Abstract), in: Proceedings of Crypto 2007, LNCS, Springer, 2007, vol. 4622, p. 170–186.
  • 5C.-P. Jeannerod, G. Villard.

    Essentially optimal computation of the inverse of generic polynomial matrices, in: Journal of Complexity, 2005, vol. 21, no 1, p. 72–86.
  • 6P. Kornerup, C. Lauter, V. Lefèvre, N. Louvet, J.-M. Muller.

    Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic, in: ACM Transactions on Mathematical Software, 2010, vol. 37, no 1, p. 4:1-4:23.
  • 7J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé, S. Torres.

    Handbook of Floating-Point Arithmetic, Birkhäuser Boston, December 2010, 572 p, ISBN: 978-0-8176-4704-9.

    http://hal.inria.fr/ensl-00379167/en
  • 8A. Novocin, D. Stehlé, G. Villard.

    An LLL-reduction algorithm with quasi-linear time complexity: extended abstract, in: Proceedings of the 43rd ACM Symposium on Theory of Computing, (STOC 2011), ACM, 2011, p. 403–412.
  • 9N. Revol, K. Makino, M. Berz.

    Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, in: Journal of Logic and Algebraic Programming, 2005, vol. 64, p. 135–154.
  • 10F. de Dinechin, B. Pasca.

    Designing Custom Arithmetic Data Paths with FloPoCo, in: IEEE Design & Test of Computers, July 2011, vol. 28, no 4, p. 18-27.

    http://hal.inria.fr/ensl-00646282/en
Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 11J. Jourdan-Lu.

    Custom floating-point arithmetic for integer processors: algorithms, implementation, and selection, Ecole normale supérieure de lyon - ENS LYON, November 2012.
  • 12É. Martin-Dorel.

    Contributions à la vérification formelle d'algorithmes arithmétiques, Ecole normale supérieure de lyon - ENS LYON, September 2012.

    http://hal.inria.fr/tel-00745553
  • 13A. Panhaleux.

    Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques, Ecole normale supérieure de lyon - ENS LYON, June 2012.

    http://hal.inria.fr/tel-00744373

Articles in International Peer-Reviewed Journals

  • 14C. Alias, B. Pasca, A. Plesco.

    FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores, in: Microprocessors and Microsystems - Embedded Hardware Design, 2012, vol. 36, no 8, p. 606-619. [ DOI : 10.1016/j.micpro.2012.06.009 ]

    http://hal.inria.fr/hal-00761515
  • 15N. Attrapadung, J. Herranz, F. Laguillaumie, B. Libert, E. De Panafieu, C. Ràfols.

    Attribute-Based Encryption Schemes with Constant-Size Ciphertexts, in: Theoretical Computer Science, 2012, vol. 422, p. 15-38.

    http://hal.inria.fr/hal-00763158
  • 16M. Bardet, J.-C. Faugère, B. Salvy, P.-J. Spaenlehauer.

    On the Complexity of Solving Quadratic Boolean Systems, in: Journal of Complexity, August 2012, vol. 29, no 1, p. 53-75. [ DOI : 10.1016/j.jco.2012.07.001 ]

    http://hal.inria.fr/hal-00655745
  • 17X.-W. Chang, D. Stehlé, G. Villard.

    Perturbation Analysis of the QR Factor R in the Context of LLL Lattice Basis Reduction, in: Mathematics of Computation, 2012, vol. 81, p. 1487–1511.

    http://hal.inria.fr/ensl-00529425
  • 18F. De Dinechin.

    Multiplication by rational constants, in: IEEE Transactions on Circuits and Systems. Part II, Express Briefs, 2012, vol. 59, no 2, p. 98-102. [ DOI : 10.1109/TCSII.2011.2177706 ]

    http://hal.inria.fr/ensl-00610328
  • 19P. Kornerup, V. Lefèvre, N. Louvet, J.-M. Muller.

    On the computation of correctly-rounded sums, in: IEEE Transactions on Computers, March 2012, vol. 61, no 3, p. 289-298. [ DOI : 10.1109/TC.2011.27 ]

    http://hal.inria.fr/ensl-00331519
  • 20C. Ling, L. Luzzi, D. Stehlé.

    "Decoding by Embedding: Correct Decoding Radius and DMT Optimality", in: IEEE Transactions on Information Theory, 2012, Accepted for publication. Full version of the ISIS'11 proceedings article with the same title..

    http://hal.inria.fr/hal-00767543
  • 21C. Pivoteau, B. Salvy, M. Soria.

    Algorithms for combinatorial structures: Well-founded systems and Newton iterations, in: Journal of Combinatorial Theory, Series A, November 2012, vol. 119, no 8, p. 1711-1773. [ DOI : 10.1016/j.jcta.2012.05.007 ]

    http://hal.inria.fr/inria-00622853

Invited Conferences

  • 22N. Revol, H. D. Nguyen, P. Théveny.

    Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication, in: Numerical Software 2012: Design, Analysis and Verification, Santander, Spain, July 2012.

    http://hal.inria.fr/hal-00750021

International Conferences with Proceedings

  • 23A. Bostan, M. F. I. Chowdhury, R. Lebreton, B. Salvy, É. Schost.

    Power Series Solutions of Singular (q)-Differential Equations, in: ISSAC '12: 37th International Symposium on Symbolic and Algebraic Computation, Grenoble, France, M. van Hoeij, J. van der Hoeven (editors), July 2012, p. 107-114.

    http://hal.inria.fr/hal-00697733
  • 24A. Bostan, F. Chyzak, Z. Li, B. Salvy.

    Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators, in: ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Grenoble, France, M. van Hoeij, J. van der Hoeven (editors), July 2012, p. 99-106.

    http://hal.inria.fr/hal-00698610
  • 25N. Brisebarre, M. Ercegovac, J.-M. Muller.

    (M,p,k)-friendly points: a table-based method for trigonometric function evaluation, in: 2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Delft, Netherlands, IEEE Computer Society, July 2012, p. 46-52. [ DOI : 10.1109/ASAP.2012.17 ]

    http://hal.inria.fr/ensl-00759912
  • 26N. Brisebarre, M. Joldeş, É. Martin-Dorel, M. Mayero, J.-M. Muller, I. Pasca, L. Rideau, L. Théry.

    Rigorous Polynomial Approximation using Taylor Models in Coq, in: Fourth NASA Formal Methods Symposium, Norfolk, Virginia, United States, A. Goodloe, S. Person (editors), LNCS, Springer, April 2012, 15 p.

    http://hal.inria.fr/ensl-00653460
  • 27N. Brisebarre, M. Mezzarobba, J.-M. Muller, C. Lauter.

    Comparison between binary64 and decimal64 floating-point numbers, in: 21st IEEE Symposium on Computer Arithmetic, Austin, TX, United States, IEEE Computer Society, April 2013, 8 p, to appear.

    http://hal.inria.fr/ensl-00737881
  • 28N. Brunie, S. Collange, G. Diamos.

    Simultaneous Branch and Warp Interweaving for Sustained GPU Performance, in: 39th Annual International Symposium on Computer Architecture (ISCA), Portland, OR, United States, June 2012, p. 49 - 60. [ DOI : 10.1109/ISCA.2012.6237005 ]

    http://hal.inria.fr/ensl-00649650
  • 29N. Brunie, F. De Dinechin, B. De Dinechin.

    Mixed-precision Fused Multiply and Add, in: 45th Asilomar Conference on Signals, Systems & Computers, United States, March 2012, p. 165-169.

    http://hal.inria.fr/ensl-00642157
  • 30S. Canard, G. Fuchsbauer, A. Gouget, F. Laguillaumie.

    Plaintext-Checkable Encryption, in: CT-RSA 2012, San Francisco, United States, O. Dunkelman (editor), LNCS, 2012, vol. 7178, p. 332-348.

    http://hal.inria.fr/hal-00768305
  • 31S. Chevillard, M. Mezzarobba.

    Multiple precision evaluation of the Airy Ai function with reduced cancellation, in: 21st IEEE Symposium on Computer Arithmetic, Austin, TX, United States, 2013, to appear.

    http://hal.inria.fr/hal-00767085
  • 32F. De Dinechin, L.-S. Didier.

    Table-based division by small integer constants, in: Applied Reconfigurable Computing, Hong Kong, Hong Kong, March 2012.

    http://hal.inria.fr/ensl-00642145
  • 33E. Dutisseuil, J.-M. Tanguy, A. Voicila, R. Laube, F. Bore, H. Takeugming, F. De Dinechin, F. Cerou, A. Gabriel Charlet.

    34 Gb/s PDM-QPSK coherent receiver using SiGe ADCs and a single FPGA for digital signal processing, in: Optical Fiber Communication Conference, United States, March 2012, OM3H.7 p.

    http://hal.inria.fr/ensl-00766801
  • 34J. Herranz, F. Laguillaumie, B. Libert, C. Ràfols.

    Short Attribute-Based Signatures for Threshold Predicates, in: RSA Conference 2012, San Francisco, United States, LNCS, Springer, 2012, vol. 7178, p. 51-67.

    http://hal.inria.fr/hal-00611651
  • 35C.-P. Jeannerod, J. Jourdan-Lu.

    Simultaneous floating-point sine and cosine for VLIW integer processors, in: 23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012), Delft, Netherlands, February 2012, p. 69-76.

    http://hal.inria.fr/hal-00672327
  • 36C.-P. Jeannerod, J. Jourdan-Lu, C. Monat.

    Non-generic floating-point software support for embedded media processing, in: 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), Karlsruhe, Germany, 2012.

    http://hal.inria.fr/hal-00695333
  • 37C.-P. Jeannerod, N. Louvet, J.-M. Muller.

    On the componentwise accuracy of complex floating-point division with an FMA, in: 21st IEEE Symposium on Computer Arithmetic, Austin, TX, United States, IEEE Computer Society, April 2013, 8 p, to appear.

    http://hal.inria.fr/ensl-00734339
  • 38F. Laguillaumie, G. Castagnos.

    Homomorphic Encryption for Multiplications and Pairing Evaluation, in: Security and Cryptography for Networks - 8th International Conference, SCN 2012, Amalfi, Italy, I. Visconti, R. De Prisco (editors), 2012.

    http://hal.inria.fr/hal-00763110
  • 39V. Lefèvre.

    SIPE: Small Integer Plus Exponent, in: 21st IEEE Symposium on Computer Arithmetic, Austin, TX, United States, IEEE Computer Society, 2013, to appear.

    http://hal.inria.fr/hal-00763954
  • 40S. Ling, K. Nguyen, D. Stehlé, H. Wang.

    Improved Zero-knowledge Proofs of Knowledge for the ISIS Problem, and Applications, in: Proceedings of PKC 2013, Japan, 2013, to appear.

    http://hal.inria.fr/hal-00767548
  • 41M. Mezzarobba.

    A Note on the Space Complexity of Fast D-Finite Function Evaluation, in: CASC - Computer Algebra in Scientific Computing, Maribor, Slovenia, V. Gerdt, W. Koepf, E. Mayr, E. Vorozhtsov (editors), LNCS, Springer, 2012, vol. 7442, p. 212-223. [ DOI : 10.1007/978-3-642-32973-9_18 ]

    http://hal.inria.fr/hal-00687818
  • 42H. D. Nguyen, N. Revol, P. Théveny.

    Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication, in: PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Helsinki, Finland, LNCS, Springer, June 2012.

    http://hal.inria.fr/hal-00704288

National Conferences with Proceeding

  • 43N. Brunie, F. De Dinechin, B. De Dinechin.

    Conception d'une matrice reconfigurable pour coprocesseur fortement couplé, in: Symposium en Architectures nouvelles de machines, France, January 2013.

    http://hal.inria.fr/ensl-00763067
  • 44N. Brunie, F. De Dinechin, M. Istoan, G. Sergent.

    L'arithmétique sur le tas, in: Symposium en Architectures nouvelles de machines, France, January 2013.

    http://hal.inria.fr/ensl-00762990

Conferences without Proceedings

  • 45N. Revol.

    IEEE-1788 standardization of interval arithmetic: work in progress (a personal view), in: IFIP Working Group 2.5 on Numerical Software, Santander, Spain, July 2012, Invited talk.

    http://hal.inria.fr/hal-00759206
  • 46N. Revol.

    L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles, in: RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Dijon, France, June 2012.

    http://hal.inria.fr/hal-00750019
  • 47P. Théveny, N. Revol.

    Interval matrix multiplication on parallel architectures, in: SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russian Federation, September 2012.

    http://hal.inria.fr/hal-00750022
  • 48P. Théveny.

    Divers algorithmes de produits de matrices intervalles, in: RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Dijon, France, June 2012.

    http://hal.inria.fr/hal-00750017

Scientific Books (or Scientific Book chapters)

  • 49F. De Dinechin, B. Pasca.

    Reconfigurable arithmetic for HPC, in: High-Performance Computing using FPGAs, W. Vanderbauwhede, K. Benkrid (editors), Springer, March 2013.

    http://hal.inria.fr/ensl-00758377

Internal Reports

  • 50F. De Dinechin, P. Echeverria, M. Lopez-Vallejo, B. Pasca.

    Floating-Point Exponentiation Units for Reconfigurable Computing, ENS Lyon, July 2012, To appear in ACM Transactions on Reconfigurable Technology and Systems.

    http://hal.inria.fr/ensl-00718637
  • 51F. De Dinechin, M. Istoan, G. Sergent, K. Illyes, B. Popa, N. Brunie.

    Arithmetic around the bit heap, ENS Lyon, October 2012.

    http://hal.inria.fr/ensl-00738412
  • 52F. De Dinechin, C. Lauter, J.-M. Muller, S. Torres.

    On Ziv's rounding test, ENS Lyon, 2012.

    http://hal.inria.fr/ensl-00693317

Other Publications

References in notes
  • 56J.-M. Muller.

    Elementary Functions, Algorithms and Implementation, Birkhäuser Boston, 2nd Edition, 2006.


previous Previous | up Home