Publications


Thèse et habilitation

  1. Contribution à l'amélioration de la précision et à la validation des algorithmes numériques
    Habilitation à diriger des recherches, Université Pierre et Marie Curie, Décembre 2013 --- Transparents
  2. Fiabilité des algorithmes numériques : pseudosolutions structurées et précision
    Thèse de doctorat, Université de Perpignan, Novembre 2005 --- Transparents

Chapitres de livres, d'encyclopédies

  1. (avec Jean-Marie Chesneaux et Fabienne Jézéquel) Rounding Errors
    Encyclopedia of Computer Science and Engineering, volume 4, Wiley, 2009, p.2480-2494

Revues internationales avec comité de lecture

  1. New (avec R. Iakymchuk, M. Barreda, J. Aliaga, E. Quintana-Orti) Reproducibility of Parallel Preconditioned Conjugate Gradient in Hybrid Programming Environments
    International Journal of High Performance Computing Applications, 34 (2020), no. 5, 502-518
  2. New (avec Fabienne Jézéquel) Tight interval inclusions with compensated algorithms
    IEEE Transactions on Computers 69 (2020), no. 12, 1774--1783
  3. New (avec Fabienne Jézéquel, Romain Picot, François Févotte et Bruno Lathuilière) Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic
    Journal of Computational Science, 36 (2019), 101017 -- code
  4. New (avec Roman Iakymchuk, David Defour et Enrique Quintana-Orti) Hierarchical approach for deriving a reproducible unblocked LU factorization
    International Journal of High Performance Computing Applications, 33 (2019), no. 5, 791–803
  5. An accurate algorithm for evaluating rational functions
    Applied Mathematics and Computation, 337 (2018), 494-503
  6. (avec Fabienne Jézéquel et Romain Picot) Numerical Validation of Compensated Algorithms with Stochastic Arithmetic
    Applied Mathematics and Computation, 329 (2018), 339-363
  7. (avec Sylvie Boldo et Jean-Michel Muller) On the robustness of the 2Sum and Fast2Sum algorithms
    ACM Transactions on Mathematical Software, 44 (2017), no. 1, article 4
  8. (avec Clothilde Jeangoudoux et Christoph Lauter) MPDI : A Decimal Multiple-Precision Interval Arithmetic Library
    Reliable Computing, 25 (2017), 38-52
  9. (avec Lokmane Abbas-Turki) Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs
    The Journal of Supercomputing, 73 (2017), no. 4, 1360-1386
  10. (avec Pierre Fortin et Mourad Gouicem) GPU-accelerated generation of correctly-rounded elementary functions
    ACM Transactions on Mathematical Software, 43 (2016), no. 3, article 22
  11. (avec Fabienne Jézéquel et Moustadrani Saïd Ibrahim) Dynamical control of Newton's method for multiple roots of polynomials
    Reliable Computing, 21 (2016), 117-139
  12. (avec Hao Jiang, Roberto Barrio et Canqun Yang) Accurate, Validated and Fast Evaluation of Elementary Symmetric Functions and its application
    Applied Mathematics and Computation, 273 (2016), 1160-1178
  13. (avec Christoph Lauter, Peter Tang, Naoya Yamanaka et Shin'ichi Oishi) Efficient calculations of faithfully rounded l2-norms of n-vectors
    ACM Transactions on Mathematical Software, 41 (2015), no. 4, article 24
  14. (avec Sylvain Collange, David Defour et Roman Iakymchuk) Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
    Parallel Computing, 49 (2015), 83--97
  15. (avec Vincent Lefèvre et Jean-Michel Muller) On the maximum relative error when computing x^n in floating-point arithmetic
    Numer. Algorithms, 70 (2015), no. 3, 653-667
  16. (avec Hao Jiang, Canbin Hu, Shengguo Lia, Xiangke Liao, Lizhi Cheng et Fang Su) Accurate evaluation of the k-th derivative of a polynomial
    J. Comput. Appl. Math. 191 (2013), no. 1, 28--47
  17. (avec Valérie Ménissier-Morain) Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
    Information and Computation, 216 (2012), 57--71
  18. (avec Fabienne Jézéquel, Shiyue Wang et Yuxiang Zhu) Stochastic Arithmetic in Multiprecision
    Math.Comput.Sci. 5 (2011), no. 4, 359--375
  19. (avec Siegfried M. Rump) Verified error bounds for multiple roots of systems of nonlinear equations
    Numer. Algorithms, 54 (2010), no. 3, 359-377
  20. (avec Philippe Langlois et Nicolas Louvet) Algorithms for accurate, validated and fast polynomial evaluation
    Japan J. Indust. Appl. Math., 26 (2009), no. 2-3, 191-214
  21. (avec Jean-Luc Lamotte et Diep Nguyen Hong) Extended precision with a rounding mode toward zero environment. Application on the Cell processor
    Int. J. Reliability and Safety 3 (2009), no. 1/2/3, 153--173 (special issue on "Reliable Engineering Computing")
  22. Accurate Floating Point Product and Exponentiation
    IEEE Transactions on Computers 58 (2009), no. 7, 994--1000
  23. Accurate simple zeros of polynomials in floating point arithmetic
    Comput. Math. Appl. 56 (2008), no. 4, 1114--1120
  24. Some topological and geometric properties of pseudozero set
    Appl. Math. E-Notes 8 (2008), 98--108
  25. Pseudozero Set of Real Multivariate Polynomials
    Math.comput.sci. 1 (2007), no. 2, 337--352
  26. (avec Philippe Langlois) Real and complex pseudozero sets for polynomials with applications
    Theor. Inform. Appl. 41 (2007), no. 1, 45--56 (Special Issue: Real Numbers)
  27. (avec Françoise Tisseur) Structured Condition Numbers and Backward Errors in Scalar Product Spaces
    Electron. J. Linear Algebra 15 (2006), 159--177
  28. A note on structured pseudospectra
    J. Comput. Appl. Math. 191 (2006), no. 1, 68--76
  29. A note on a nearest polynomial with a given root
    SIGSAM Bull. 39 (2005), no. 2, 53--60
  30. Computation of pseudozero abscissa
    An. Univ. Timişoara Ser. Mat.-Inform, 42 (2004), Special issue, 115--128

Actes de conférences internationales avec comité de lecture

  1. New (avec Fabienne Jézéquel, Daichi Mukunoki, Toshiyuki Imamura et Roman Iakymchuk) Can we avoid rounding-error estimation in HPC codes and still get trustful results?
    Software Verification. NSV 2020, VSTTE 2020. Lecture Notes in Computer Science, vol 12549, Springer, p.163-177
  2. New (avec Vincent Lefèvre et Jean-Michel Muller) Alternative Split Functions and Dekker's Product
    Proceedings of the 27th IEEE Symposium on Computer Arithmetic, Portland, Oregon, USA, Jun 7-10, 2020, p.41-47
  3. (avec Fabienne Jézéquel, Romain Picot, François Févotte et Bruno Lathuilière) Numerical validation in quadruple precision using stochastic arithmetic
    Kalpa Publications in Computing, Volume 8, Minisymposium on Trusted Numerical Computations, Krakow, Poland, June 19-20, 2018, p.38-53
  4. (avec Roman Iakymchuk, David Defour, Erwin Laure et Enrique Quintana-Orti) Towards a Reproducible Solution of Linear Systems
    Supercomputing Conference (SC 2017), Computational Reproducibility at Exascale Workshop, Denver, CO, USA, 2017
  5. (avec Roman Iakymchuk, Enrique Quintana-Orti et Erwin Laure) Towards Reproducible Blocked LU Factorization
    IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Orlando, FL, USA, 2017, p.1598-1607
  6. (avec Roman Iakymchuk, David Defour et Enrique Quintana-Orti) Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs
    Numerical Reproducibility at Exascale (NRE2016) workshop held as part of the Supercomputing Conference (SC16), Salt Lake City, UT, USA, November 13-18, 2016
  7. (avec Roman Iakymchuk, David Defour et Sylvain Collange) Reproducible and Accurate Matrix Multiplication
    Lecture Notes of Computer Science (LNCS 9553), proceedings of 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2014, Wurzburg, Germany, September 21-26, 2014, p.126-137, 2016
  8. (avec Roman Iakymchuk, Sylvain Collange et David Defour) ExBLAS: Reproducible and Accurate BLAS Library
    Numerical Reproducibility at Exascale (NRE2015) workshop held as part of the Supercomputing Conference (SC15). Austin, TX, USA, November 15-20, 2015
  9. (avec Fabienne Jézéquel et Romain Picot) Numerical validation of compensated summation algorithms with stochastic arithmetic
    Electronic Notes in Theoretical Computer Science 317 (2015), 55--69 (Proceedings of the 8th International Workshop on Numerical Software Verification 2015 (NSV 2015), April 13, 2015)
  10. (avec Roman Iakymchuk, David Defour et Sylvain Collange) Reproducible Triangular Solvers for High-Performance Computing
    Proceedings of the 12th International Conference on Information Technology : New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015, p.353-358
  11. (avec Hao Jiang et Roberto Barrio) Accurate and Fast Evaluation of Elementary Symmetric Functions
    Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013, p.183-190
  12. (avec Pierre Fortin et Mourad Gouicem) Towards solving the Table Maker Dilemma on GPU
    Proceedings of the 20th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2012), p.407-415
  13. (avec Jérémy Jean) A parallel algorithm for dot product over word-size finite field using floating-point arithmetic
    Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010, p.80-87
  14. (avec Fabienne Jézéquel et Yuxiang Zhu) Stochastic arithmetic in multiprecision
    NSV3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
  15. (avec Philippe Trébuchet) A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
    Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009, p.167-173
  16. (avec Jean-Luc Lamotte et Diep Nguyen Hong) Error-Free Transformation in rounding mode toward zero
    Lecture Notes in Computer Science (LNCS), volume 5492/2009, Numerical Validation in Current Hardware Architectures, 2009, p.217-229
  17. (avec Valérie Ménissier-Morain) Compensated Horner scheme in complex floating point arithmetic
    Proceedings of the 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008, p.133-146
  18. (avec Valérie Ménissier-Morain) Error-free transformations in real and complex floating point arithmetic
    Proceedings of the International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007, p.341-344
  19. (avec Philippe Langlois) Pseudozero Set of Interval Polynomials
    Proceedings of the 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006, p.1655-1659
  20. (avec Philippe Langlois et Nicolas Louvet) Improving the compensated Horner scheme with a Fused Multiply and Add
    Proceedings of the 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006, p.1323-1327
  21. Pseudozero set of multivariate polynomials
    Proceedings of 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006, p.131-141
  22. (avec Philippe Langlois) A comparison of real and complex pseudozero sets for polynomials with real coefficients
    Proceedings of the Sixth Conference on Real Numbers and Computers, November 15-17, 2004, Schloss Dagstuhl, Germany, p.103-112
  23. Computation of pseudozero abscissa
    Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26 - 30, 2004, p.176-187
  24. (avec Philippe Langlois) Pseudozero set decides on polynomial stability
    Proceedings of the Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 5-9, 2004 (CD-ROM,papers/537.pdf)
  25. (avec Philippe Langlois) Testing polynomial primality with pseudozeros
    Proceedings of the Fifth Conference on Real Numbers and Computers, Lyon, France, september 3-5, 2003, p.231-246

Actes de conférences internationales sans comité de lecture

  1. Accurate Floating Point Product
    Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008, p.351-361
  2. (avec Nguyen Hong Diep et Jean-Luc Lamotte) Precise and effective scientific calculation on the Cell processor
    Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008, p.333-350
  3. (avec Nicolas Louvet) Applications of fast and accurate summation in computational geometry
    Proceedings of the Second International Worskhop on Reliable Engineering Computing, Georgia Institute of Technology, Savannah, Georgia, USA, February 22-24, 2006
  4. (avec Philippe Langlois et Nicolas Louvet) Accurate and validated polynomial evaluation in floating point arithmetic
    In B. Buchberger, S. Oishi, M. Plum, and S.M. Rump, editors, Algebraic and Numeric Algorithms and Computer-assisted Proofs, Dagstuhl Seminar 5391, September 2005

Communications dans des conférences internationales (avec résumé seul)

  1. New (avec T. Imamura, D. Mukunoki, R. Iakymchuk, F. Jézéquel) Numerical Reproducibility based on Minimal-Precision Validation -- slides
    Computational Reproducibility at Exascale Workshop (CRE2019), in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver, USAs, November 17–22, 2019
  2. Compensated algorithms with stochastic arithmetic and interval arithmetic
    ICIAM 2019, The International Congress on Industrial and Applied Mathematics, Valencia, Spain, July 15-19, 2019
  3. (avec Roman Iakymchuk et Matthias Wiesenberger) Reproducibility and Performance of the Feltor Code on Parallel Architectures
    2019 SIAM Conference on Computational Science and Engineering, Spokane Convention Center, Spokane, Washington, USA, February 25 - March 1, 2019
  4. (avec Fabienne Jézéquel) Tight interval inclusions with compensated algorithms
    Proceedings of the 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN 2018), Tokyo, Japan, September 10-14, 2018, p.86-87
  5. Accurate Interval Matrix Computations
    PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018
  6. (avec Roman Iakymchuk, Daichi Mukunoki et Takeshi Ogita) Reproducibility of sparse matrix-vector product and sparse solvers
    PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018 -- Transparents
  7. (avec Daichi Mukunoki, Roman Iakymchuk et Takeshi Ogita) High-Performance Implementation of Reproducible and Accurate Matrix-Multiplication
    PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018 -- Transparents
  8. Parallel Accurate Algorithms for Polynomial and Rational Function Evaluation
    SIAM Conference on Parallel Processing for Scientific Computing (PP18), Waseda University, Tokyo, Japan, March 7-10, 2018
  9. (avec Fabienne Jézéquel) Interval computations with compensated algorithms
    Dagstuhl Seminar 17481 "Reliable Computation and Complexity on the Reals", Dagstuhl, Germany, November 26 - December 1, 2017
  10. (avec Youness Ibrahimy, Clothilde Jeangoudoux et Christoph Lauter) A Parallel Compensated Horner Scheme
    ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, Israel, July 17-21, 2017, p.271
  11. Accurate computations with polynomials
    The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  12. A Parallel Compensated Horner Scheme
    SIAM Conference on Computational Science and Engineering (CSE), Atlanta, Georgia, USA, February 27-March 3, 2017
  13. (avec Fabienne Jézéquel, Romain Picot, François Févotte et Bruno Lathuilière) PROMISE: floating-point precision tuning with stochastic arithmetic
    Proceedings of the 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala (Sweden), September 26-29, 2016, p.97-98
  14. (avec Clothilde Jeangoudoux et Christoph Lauter) A Decimal Multiple-Precision Interval Arithmetic Library
    Proceedings of the 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala (Sweden), September 26-29, 2016, p.63-64
  15. (avec Roman Iakymchuk et David Defour) Towards Fast, Accurate and Reproducible LU Factorization
    À Proceedings of the 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2016), Uppsala (Sweden), September 26-29, 2016, p.59-60
  16. (avec Lokmane Abbas-Turki) Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs
    Book of abstracts of the International conference on Monte-Carlo techniques, 5-8 Jul 2016, Paris, France, p.25
  17. (avec Roman Iakymchuk, Toshiyuki Imamura, Stefano Markidis et Erwin Laure) A case study of the reproducibility issues in EigenExa
    Exascale Applications & Software Conference (EASC2016), Stockholm, Sweden, April 25-29, 2016
  18. (avec Sylvain Collange, David Defour et Roman Iakymchuk) Reproducible and Accurate Algorithms for Numerical Linear Algebra
    SIAM Conference on Parallel Processing for Scientific Computing (PP16), Paris, France, April 12-15, 2016
  19. (avec Sylvain Collange, David Defour et Roman Iakymchuk) Reproducible and Accurate Matrix Multiplication for High-Performance Computing
    Proceedings of the 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014, p.42-43
  20. (avec Christoph Lauter, Ping Tak Peter Tang, Naoya Yamanka et Shin'ichi Oishi) A method of calculating faithful rounding of l2-norm for n-vectors
    Proceedings of the 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014, p.60-61
  21. (avec Sylvain Collange, David Defour et Roman Iakymchuk) A Reproducible Accurate Summation Algorithm for High-Performance Computing
    SIAM EX14, SIAM Workshop on Exascale Applied Mathematics Challenges and Opportunities, The Palmer House, Chicago, Illinois, USA , July 6, 2014
  22. (avec Pierre Fortin et Mourad Gouicem) Solving the Table Maker's Dilemma by reducing divergence on GPU
    Proceedings of the 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Novosibirsk, Russia, September 23-29, 2012, p.45-46
  23. Faithful roundings of sum with nonnegative entries (conférencier invité)
    JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011, p.349-350
  24. Verified error bounds for multiple roots of systems of nonlinear equations (conférencier invité)
    CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
  25. (avec Fabienne Jézéquel et Yuxiang Zhu) SAM: a multiprecision stochastic arithmetic library
    14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Lyon, France, September 27-30, 2010 - Transparents
  26. Computation of dot products in finite fields with floating-point arithmetic
    Computer-assisted proofs - tools, methods and applications, Dagstuhl Seminar, Germany, November 15-20, 2009
  27. Accurate simple zeros of polynomials
    Proceedings of the 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, September 29 - October 3, 2008, p.52-53
  28. (avec Jean-Luc Lamotte, Siegfried M. Rump et Svetoslav Markov) Interval arithmetic on the Cell processor
    Proceedings of the 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, September 29 - October 3, 2008, p.54 --- Transparents
  29. Validated Pseudozero Set of Polynomials
    12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006, p.160-161
  30. (avec Philippe Langlois et Nicolas Louvet) Choosing a twice more accurate dot product implementation
    Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006, p.498-499
  31. (avec Philippe Langlois et Nicolas Louvet) Fused Multiply and Add Implementations of the Compensated Horner scheme
    In P. Hertling, C.M. Hoffmann, W. Luther, and N. Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 6021, January 2006. Version étendue
  32. Pseudozeros, stability radius and interval polynomials
    Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, Septembre 2005
  33. Structured perturbations in scalar product spaces
    Proceedings of the Foundations of Computational Mathematics, University of Cantabria, Santander, Juillet 2005
  34. Somes results on structured pseudospectra
    Pseudospectra and Structural Dynamics, University of Bristol, Décembre 2004
  35. (avec Philippe Langlois) Approximate Polynomial Problems and Associated Tools
    Proceeding of the 11th IMACS-GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Fukuoka, Japan, October 4 - 8, 2004. Transparents
  36. Some applications of polynomial pseudozero set
    New Frontiers in Computational Mathematics, University of Manchester, Janvier 2004
  37. Pseudozéros numériques pour polynômes symboliques
    Journées Liens Calcul Numérique-Calcul Formel, Toulouse, Décembre 2002

Rapports de recherche non publiés

  1. (avec Jérémy Jean) Fast dot product over finite field
    Rapport de recherche, hal-00450888
  2. (avec Jean-Marie Chesneaux et Fabienne Jézéquel) Numerical validation and assessment of numerical accuracy
    Oxford e-Research Centre, Mars 2009
  3. (avec Philippe Langlois et Nicolas Louvet) Compensated Horner Scheme
    Research Report RR2005-04, LP2A, University of Perpignan, France, july 2005
  4. Structured Condition Number and Backward Error for Eigenvalue Problems
    Research Report RR2005-01, LP2A, University of Perpignan, France, january 2005
  5. (avec Philippe Langlois) More on pseudozeros for univariate polynomials
    Prépublication no 32, Université de Perpignan, janvier 2004
  6. (avec Philippe Langlois) Computation of stability radius for polynomials
    Prépublication no 31, Université de Perpignan, janvier 2004

Posters

  1. New (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations
    Présenté à la 2nd R-CCS international symposium, K to Fugaku: Simulation, Big Data and AI supporting Society 5.0, Kobe (Japan), Feb. 2020
  2. New (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Optimizing Precision for High-Performance, Robust, and Energy-Efficient Computations
    Présenté à la International Conference on High Performance Computing in Asia-Pacific Region, Fukuoka (Japan), 15-17 January 2020
  3. New (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations
    Présenté à la International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver (USA), Nov. 2019
  4. New (avec T. Boku, N. Fujita, J. Huthmann, R. Iakymchuk, T. Imamura, F. Jézéquel, A. Koshiba, D. Mukunoki, K. Sano, Y. Tan) Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations
    Présenté au France-Japan-Germany trilateral workshop: Convergence of HPC and Data Science for Future Extreme Scale Intelligent Applications, Tokyo (Japan), Nov. 2019
  5. (avec Roman Iakymchuk, Sylvain Collange et David Defour) ExBLAS: Reproducible and Accurate BLAS Library
    Présenté à la 7ème Rencontre Arithmétique de l'Informatique Mathématique (RAIM 2015), Rennes, France, April 7-9, 2015
  6. (avec Hao Jiang et Roberto Barrio) Accurate Computing Elementary Symmetric Functions
    Présenté à la International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble, France, July 22-25, 2012 --- Poster
    ACM Communications in Computer Algebra, Vol 46, No. 3, Issue 181, September 2012, p.102-103
  7. Accurate dot products with FMA
    Présenté à la 7th Conference on Real Numbers and Computers, LORIA, Nancy, France, July 10-12, 2006
  8. Pseudozero set of multivariate polynomials
    Présenté aux 8th International Workshop on Computer Algebra in Scientific Computing, Kalamata, Greece, September 12-16, 2005

Comptes rendus de lecture

  1. Review sur le livre "Numerical methods for roots of polynomials. Part I" par John M. McNamee, Elsevier B. V., 2007. Mathematical Reviews, 2010

Séminaires et présentations (hors conférences)

  1. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Exposé fait au Numerical Analysis and Scientific Computing seminar, The University of Manchester, School of Mathematics, Manchester, UK, 3 May 2019
  2. Numerical reproducibility and High-performance computing
    Exposé fait au Webinar on Reproducible Research: Numerical reproducibility, 3 mai 2016, Grenoble, France
  3. Numerical reproducibility and High-performance computing
    Exposé fait au séminaire Maths-Info, Université Pierre et Marie Curie (UPMC), Paris, France, 16 février 2016
  4. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait aux journées "Méthodes de subdivisions pour les systèmes singuliers" de l'ANR SingCAST, Nantes, France, 15-16 décembre 2014
  5. Structured pseudospectra for matrices and matrix polynomials
    Exposé fait au Structured Matrix Days, XLIM, Université de Limoges, France, 26-27 mai 2014
  6. Arithmétique des ordinateurs et HPC
    Exposé fait au séminaire de l'équipe HP2 de Télécom SudParis, Évry, 9 avril 2014
  7. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire du LIF, Marseille, 1 avril 2014
  8. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire Calcul formel du XLIM, Limoges, 27 mars 2014
  9. Amélioration de la précision et validation des algorithmes numériques : le cas du calcul des racines de polynômes
    Exposé fait au LIFL, Lille, 17 mars 2014
  10. Introduction to pseudozeros and pseudospectra
    Exposés faits au groupe de travail AriC, LIP, ENS Lyon, 1 octobre et 17 décembre 2013
  11. Some results concerning the increase of accuracy and validation of numerical algorithms
    Exposé fait au 3D'13, DALI's Doctoral Day, Rivesaltes, 12 novembre 2013
  12. Accurate evaluation of the k-th derivative of a polynomial and its application to the convergence of Newton's method
    Exposé fait au Groupe de Travail AriC, LIP, ENS Lyon, 4 juillet 2013
  13. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 25 avril 2013
  14. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 14 octobre 2010
  15. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  16. Accurate and High Performance Computing on the Cell processor
    Exposé fait au Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
  17. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  18. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  19. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  20. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  21. Accurate polynomial evaluation in floating point arithmetic
    Exposé fait au MIMS Numerical Analysis and Scientific Computing Seminars, The University of Manchester, Manchester, UK, February 10, 2006
  22. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  23. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  24. Les pseudozéros : application en contrôle et en arithmétique d'intervalles
    Exposé fait au groupe de travail sur les Méthodes Ensemblistes, GDR MACS, ENSAM, Paris, 3 février 2005
  25. Pseudozéros de polynômes : théorie et applications
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, 29 mars - 2 avril 2004
  26. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  27. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  28. Calcul algébrique approché, une introduction
    Exposé fait aux journées 4e année, 24 janvier 2003, ÉNS Cachan, antenne de Bretagne

Transparents d'exposés

  1. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Exposé fait à ICIAM 2019, The International Congress on Industrial and Applied Mathematics, Valencia, Spain, July 15-19, 2019
  2. Compensated algorithms with stochastic arithmetic and interval arithmetic
    Exposé fait au Numerical Analysis and Scientific Computing seminar, The University of Manchester, School of Mathematics, Manchester, UK, 3 May 2019
  3. Accurate Interval Matrix Computations
    Exposé fait à PMAA18, 10th International Workshop on Parallel Matrix Algorithms and Applications, ETH Zurich, Zurich, Switzerland, June 27-29, 2018
  4. Parallel Accurate Algorithms for Polynomial and Rational Function Evaluation
    Exposé fait à SIAM Conference on Parallel Processing for Scientific Computing (PP18), Waseda University, Tokyo, Japan, March 7-10, 2018
  5. Interval computations with compensated algorithms
    Exposé fait au Dagstuhl Seminar 17481 "Reliable Computation and Complexity on the Reals", Dagstuhl, Germany, November 26 - December 1, 2017
  6. A Parallel Compensated Horner Scheme
    Exposé fait à ACA 2017, 23rd Conference on Applications of Computer Algebra, Jerusalem, Israel, July 17-21, 2017
  7. Accurate computations with polynomials
    Exposé fait à The International Workshop on Numerical Verification and its Applications 2017, Miyako-jima, Okinawa, Japan, March 15-18, 2017
  8. A Parallel Compensated Horner Scheme
    Exposé fait à la SIAM Conference on Computational Science and Engineering (CSE), Atlanta, Georgia, USA, February 27-March 3, 2017
  9. Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs
    Exposé fait à la International conference on Monte-Carlo techniques, 5-8 Jul 2016, Paris, France
  10. Numerical reproducibility and High-performance computing
    Exposé fait au Webinar on Reproducible Research: Numerical reproducibility, 3 mai 2016, Grenoble, France
  11. Numerical reproducibility and High-performance computing
    Exposé fait au séminaire Maths-Info, Université Pierre et Marie Curie (UPMC), Paris, France, 16 février 2016
  12. Reproducible Triangular Solvers for High-Performance Computing
    Exposé fait au 12th International Conference on Information Technology : New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015
  13. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait aux journées "Méthodes de subdivisions pour les systèmes singuliers" de l'ANR SingCAST, Nantes, France, 15-16 décembre 2014
  14. A method of calculating faithful rounding of l2-norm for n-vectors
    Exposé fait au 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, September 21-26, 2014
  15. Structured pseudospectra for matrices and matrix polynomials
    Exposé fait au Structured Matrix Days, XLIM, Université de Limoges, France, 26-27 mai 2014
  16. Arithmétique des ordinateurs et HPC
    Exposé fait au séminaire de l'équipe HP2 de Télécom SudParis, Évry, 9 avril 2014
  17. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire du LIF, Marseille, 1 avril 2014
  18. Calcul précis et certifié de racines de polynômes : le cas des racines simples et multiples
    Exposé fait au séminaire Calcul formel du XLIM, Limoges, 27 mars 2014
  19. Amélioration de la précision et validation des algorithmes numériques : le cas du calcul des racines de polynômes
    Exposé fait au LIFL, Lille, 17 mars 2014
  20. Introduction to pseudozeros and pseudospectra
    Exposés fait au groupe de travail AriC, LIP, ENS Lyon, 1 octobre et 17 décembre 2013
  21. Some results concerning the increase of accuracy and validation of numerical algorithms
    Exposé fait au 3D'13, DALI's Doctoral Day, Rivesaltes, 12 novembre 2013
  22. Accurate evaluation of the k-th derivative of a polynomial and its application to the convergence of Newton's method
    Exposé fait au Groupe de Travail AriC, LIP, ENS Lyon, 4 juillet 2013
  23. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 25 avril 2013
  24. Accurate and Fast Evaluation of Elementary Symmetric Functions
    Exposé fait à 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013
  25. Faithful roundings of sum with nonnegative entries
    Exposé fait à JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011
  26. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait à CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
  27. Verified error bounds for multiple roots of systems of nonlinear equations
    Exposé fait au Groupe de Travail PEQUAN, LIP6, UPMC, 14 octobre 2010
  28. (avec Jérémy Jean) A parallel algorithm for dot product over word-size finite field using floating-point arithmetic
    Exposé fait à SYNASC2010, the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010
  29. (avec Fabienne Jézéquel et Yuxiang Zhu) Stochastic arithmetic in multiprecision
    Exposé fait à NSV3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
  30. Computation of dot products in finite fields with floating-point arithmetic
    Exposé fait à Computer-assisted proofs - tools, methods and applications, Dagstuhl Seminar, Germany, November 15-20, 2009
  31. (avec Philippe Trébuchet) A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system
    Exposé fait au International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009
  32. Accurate simple zeros of polynomials in floating point arithmetic
    Exposé fait au Groupe de Travail Arénaire, LIP, ENS Lyon, 23 avril 2009
  33. Accurate and High Performance Computing on the Cell processor
    Exposé fait au Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
  34. Accurate simple zeros of polynomials
    Exposé fait à 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, September 29 - October 3, 2008
  35. Compensated Horner scheme in complex floating point arithmetic
    Exposé fait à la 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008
  36. Produit précis de nombres flottants
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Lille, 3-5 Juin 2008
  37. Accurate Floating Point Product
    Exposé fait au Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  38. (avec Nguyen Hong Diep et Jean-Luc Lamotte) Precise and effective scientific calculation on the Cell processor
    Exposé fait au Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
  39. Error-free transformations in real and complex floating point arithmetic
    Exposé fait au International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007
  40. Algorithme de Horner compensé en précision finie et applications
    Exposé fait au séminaire SPIRAl/SALSA, LIP6, Université Paris 6, 1 juin 2007
  41. Quelle précision pour le raffinement itératif ?
    Exposé fait aux Rencontres arithmétique de l'informatique mathématique, Montpellier, 22 janvier 2007
  42. Validated Pseudozero Set of Polynomials
    Exposé fait au 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006
  43. Choosing a twice more accurate dot product implementation
    Exposé fait à la International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006
  44. Pseudozero Set of Interval Polynomials
    Exposé fait au 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
  45. Évaluation précise de polynômes en précision finie
    Exposé fait au séminaire du projet SPACES, LORIA, Nancy, 6 avril 2006
  46. Pseudozero set of multivariate polynomials
    Exposé fait au 10th Rhine Workshop on Computer Algebra (RWCA), Basel, Switzerland, March 16-17, 2006
  47. Accurate polynomial evaluation in floating point arithmetic
    Exposé fait au MIMS Numerical Analysis and Scientific Computing Seminars, The University of Manchester, Manchester, UK, February 10, 2006
  48. Pseudozeros, stability radius and interval polynomials
    Exposé fait à Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, September 25-30, 2005
  49. Structured Perturbations in Scalar Product Spaces
    Exposé fait à Foundations of Computational Mathematics, University of Cantabria, Santander, Spain, 30 June - 9 July 2005
  50. Pseudozéros de polynômes d'intervalles
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, 4-8 avril 2005
  51. Pseudozéros de polynômes d'intervalles
    Exposé fait aux Journées AriNews, ENS de Lyon, Lyon, 7-8 mars 2005
  52. Les pseudozéros : application en contrôle et en arithmétique d'intervalles
    Exposé fait au groupe de travail sur les Méthodes Ensemblistes, GDR MACS, ENSAM, Paris, 3 février 2005
  53. Somes results on structured pseudospectra
    Exposé fait à Pseudospectra and Structural Dynamics, University of Bristol, December 13-15, 2004
  54. A comparison of real and complex pseudozero sets for polynomials with real coefficients
    Exposé fait à la Sixth Conference on Real Numbers and Computers, Schloss Dagstuhl, Germany, November 15-17, 2004
  55. Computation of pseudozero abscissa
    Exposé fait au 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26 - 30, 2004
  56. Pseudozero set decides on polynomial stability
    Exposé fait au Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, July 5-9, 2004
  57. Pseudozéros de polynômes : théorie et applications
    Exposé fait à l'École Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, 29 mars - 2 avril 2004
  58. Quelques applications des pseudozéros de polynômes
    Exposé fait au séminaire du laboratoire MANO, Université de Perpignan, 25 mars 2004
  59. Some applications of polynomial pseudozero set
    Exposé fait à New Frontiers in Computational Mathematics, University of Manchester, January 10-11, 2004
  60. Calcul du rayon de stabilité pour les polynômes
    Exposé fait aux Journées AriNews, 17-18 novembre 2003, Lyon
  61. Testing polynomial primality with pseudozeros
    Exposé fait à la Fifth Conference on Real Numbers and Computers, Lyon, France, septembre 2003
  62. Calcul algébrique approché, une introduction
    Exposé fait aux journées 4e année, 24 janvier 2003, ÉNS Cachan, antenne de Bretagne
  63. Pseudozéros numériques pour polynômes symboliques
    Exposé fait aux journées Liens Calcul Numérique-Calcul Formel, 4-6 décembre 2002, Toulouse

Divers

  1. Pseudozéros et pgcd de polynômes en précision finie
    Rapport de DEA, LIP ÉNS Lyon, 2001 --- Transparents
  2. Simulation numérique d'un procédé de mouillage d'un solide
    Mémoire de stage de 2e année ENSIMAG, 2000
  3. (avec A. Gélinet). Calcul des valeurs propres et des vecteurs propres d'une matrice de perturbation
    Mémoire de 2e année ENSIMAG, 2000

Valid HTML 4.01! Valid CSS! Stef Graillat
(Dernière modification : 25 août 2017)