Научная деятельность

3 Кандидаты наук 2005 - 2018

Публикации 1996-2020

• 2020
  • T. Boku, N. Fujita, S. Graillat, 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”, 2^nd R-CCS international symposium, K to Fugaku: Simulation, Big Data and AI supporting Society 5.0, Kobe, Japan (2020)
  • T. Boku, N. Fujita, S. Graillat, 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”, International Conference on High Performance Computing in Asia-Pacific Region,, Fukuoka, Japan (2020)
  • F. Jézéquel, S. Graillat, D. Mukunoki, T. Imamura, R. Iakymchuk : “Can we avoid rounding-error estimation in HPC codes and still get trustful results?”, (2020)
• 2019
  • S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic”, Journal of Computational Science, vol. 36, pp. 101017 (2019)
  • S. Graillat, F. Jézéquel : “Tight interval inclusions with compensated algorithms”, IEEE Transactions on Computers, pp. 1-10 (2019)
  • T. Boku, N. Fujita, S. Graillat, 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”, International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver, USA (2019)
  • T. Boku, N. Fujita, S. Graillat, 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”, France-Japan-Germany trilateral workshop: Convergence of HPC and Data Science for Future Extreme Scale Intelligent Applications, Tokyo, Japan (2019)
  • T. Imamura, D. Mukunoki, R. Iakymchuk, F. Jézéquel, S. Graillat : “Numerical Reproducibility based on Minimal-Precision Validation”, Computational Reproducibility at Exascale Workshop (CRE2019), in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver, USA (2019)
• 2018
  • S. Graillat, F. Jézéquel, R. Picot : “Numerical Validation of Compensated Algorithms with Stochastic Arithmetic”, Applied Mathematics and Computation, vol. 329, pp. 339-363, (Elsevier) (2018)
  • P. Eberhart, B. Landreau, J. Brajard, P. Fortin, F. Jézéquel : “Improving CADNA Performance on GPUs”, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Vancouver, Canada, pp. 1016-1025, (IEEE) (2018)
  • S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “Numerical validation in quadruple precision using stochastic arithmetic”, TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, vol. 8, Kalpa Publications in Computing, Krakow, Poland, pp. 38-53, (EasyChair) (2018)
  • S. Graillat, F. Jézéquel : “Tight interval inclusions with compensated algorithms”, 18^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), 18^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts, Tokyo, Japan, pp. 86-87 (2018)
• 2016
  • S. Graillat, F. Jézéquel, M. Ibrahim : “Dynamical control of Newton’s method for multiple roots of polynomials”, Reliable Computing Journal, vol. 21 (2016)
  • F. Jézéquel, J.‑L. Lamotte, I. Said : “Estimation de la reproductibilité numérique dans les environnements hybrides CPU-GPU”, CANUM (Congrès National d'Analyse Numérique), Obernai, France (2016)
  • P. Eberhart, J. Brajard, P. Fortin, F. Jézéquel : “Estimation of round-off errors in OpenMP codes”, IWOMP 2016 - 12^th International Workshop on OpenMP, vol. 9903, Lecture Notes in Computer Science, Nara, Japan, pp. 3-16, (Springer) (2016)
  • S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “PROMISE: floating-point precision tuning with stochastic arithmetic”, 17^th international symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), UPPSALA, Sweden, pp. 98-99 (2016)
• 2015
  • P. Eberhart, J. Brajard, P. Fortin, F. Jézéquel : “High Performance Numerical Validation using Stochastic Arithmetic”, Reliable Computing, vol. 21, pp. 35-52 (2015)
  • F. Jézéquel, J.‑L. Lamotte, I. Said : “Estimation of numerical reproducibility on CPU and GPU”, 8^th Workshop on Computer Aspects of Numerical Algorithms (CANA), Federated Conference on Computer Science and Information Systems (FedCSIS), Lodz, Poland, pp. 687-692 (2015)
  • S. Graillat, F. Jézéquel, R. Picot : “Numerical validation of compensated summation algorithms with stochastic arithmetic”, 8^th International Workshop on Numerical Software Verification, NSV 2015, vol. 317, Electronic Notes in Theoretical Computer Science, Seattle, USA, pp. 55-69, (Elsevier) (2015)
• 2014
  • F. Jézéquel, Ph. Langlois, N. Revol : “First steps towards more numerical reproducibility”, ESAIM: Proceedings and Surveys, vol. 45, J. -S. Dhersin (Ed.), pp. 229-238, (ISBN: 1270-900X) (2014)
  • M. Madec, F. Pêcheux, F. Jézéquel, Y. Gendrault, Ch. Lallement, J. Haiech : “Opportunities and challenges for the virtual prototyping of synthetic biological functions”, IEEE International Symposium on Circuits And Systems, ISCAS 2014, Melbourne, Australia, pp. 2013-2016, (IEEE) (2014)
  • P. Eberhart, J. Brajard, P. Fortin, F. Jézéquel : “Towards high performance stochastic arithmetic”, 16^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), Würzburg, Germany, pp. 47-48 (2014)
• 2013
  • F. Langrognet, F. Jézéquel, N. Revol : “JDEV 2013 : Développer pour Calculer : Des outils pour calculer avec précision \& Comment calculer avec des intervalles”, HPC magazine, pp. 1-5, (HPC Media) (2013)
  • J. Brajard, P. Li, F. Jézéquel, H.‑S. Benavidès, S. Thiria : “Numerical Validation of Data Assimilation Codes Generated by the YAO Software”, SIAM Annual Meeting, San Diego, California, USA (2013)
  • F. Jézéquel, J.‑L. Lamotte, O. Chubach : “Parallelization of Discrete Stochastic Arithmetic on multicore architectures”, 10^th International Conference on Information Technology: New Generations, ITNG 2013, Las Vegas, Nevada, USA, pp. 160-166, (IEEE) (2013)
  • F. Jézéquel, J.‑L. Lamotte, I. Said : “Validation numérique de codes scientifiques sur GPU”, Congrès SMAI, Biennale Française des Mathématiques Appliquées et Industrielles, mini-symposium ``Etapes vers la reproductibilité numérique des calculs'', Seignosse, France, pp. 178-179 (2013)
  • P. Fortin, R. Habel, F. Jézéquel, J.‑L. Lamotte, N. Scott : “Numerical validation and performance optimization on GPUs of an application in atomic physics”, chapter in Designing Scientific Applications on GPUs, R. Couturier (Ed.), pp. 369-414, (Chapman & Hall/CRC) (2013)
• 2012
  • F. Jézéquel, R. Couturier, Ch. Denis : “Solving large sparse linear systems in a grid environment: the GREMLINS code versus the PETSc library”, Journal of Supercomputing, vol. 59 (3), pp. 1517-1532, (ISBN: 0920-8542) (2012)
  • N. Scott, M. Penny Scott, F. Jézéquel : “Ixaru’s extended frequency dependent quadrature rules for Slater integrals: parallel computation issues”, symposium on ``Numerical methods and computational procedures for special problems in physics and chemistry'', part of the International Conference of Numerical Analysis and Applied Mathematics (ICNAAM), vol. 1479, AIP Conference Proceedings, Kos, Greece, pp. 1208-1211, (American Institute of Physics) (2012)
• 2011
  • S. Graillat, F. Jézéquel, Sh. Wang, Y. Zhu : “Stochastic Arithmetic in Multiprecision”, Mathematics in Computer Science, vol. 5 (4), pp. 359-375, (ISBN: 1661-8270) (2011)
  • P. Fortin, R. Habel, F. Jézéquel, J.‑L. Lamotte, N. Scott : “Deployment on GPUs of an application in computational atomic physics”, 12^th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC) in conjunction with the 25^th International Parallel and Distributed Processing Symposium (IPDPS), Anchorage, Alaska, USA, pp. 1359-1366, (IEEE) (2011)
• 2010
  • F. Jézéquel, J.‑M. Chesneaux, J.‑L. Lamotte : “A new version of the CADNA library for estimating round-off error propagation in Fortran programs”, Computer Physics Communications, vol. 181 (11), pp. 1927-1928, (ISBN: 0010-4655) (2010)
  • J.‑L. Lamotte, J.‑M. Chesneaux, F. Jézéquel : “CADNA_C: A version of CADNA for use with C or C programs”, Computer Physics Communications, vol. 181 (11), pp. 1925-1926, (ISBN: 0010-4655) (2010)
  • F. Jézéquel, J.‑L. Lamotte : “Numerical validation of Slater integrals computation on GPU”, 14^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Lyon, France, pp. 78-79 (2010)
  • S. Graillat, F. Jézéquel, Y. Zhu : “SAM: a multiprecision stochastic arithmetic library”, 14^th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Lyon, France, pp. 70-71 (2010)
  • R. Couturier, F. Jézéquel : “Solving large sparse linear systems in a grid environment using Java”, PDSEC'10, 11^th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, joint to IPDPS'10, 24^th ACM/IEEE International Parallel and Distributed Processing Symposium, Atlanta, USA, pp. 1-7, (IEEE) (2010)
  • S. Graillat, F. Jézéquel, Y. Zhu : “Stochastic Arithmetic in Multiprecision”, Third International Workshop on Numerical Software Verification (NSV-3), part of Federated Logic Conference (FLoC), Edinburgh, United Kingdom (2010)
• 2009
  • F. Jézéquel, Ch. Denis, Ph. Trébuchet : “Reliable numerical evaluation of eigenvalues involved in polynomial systems solving”, Computer-assisted proofs - tools, methods and applications, Dagstuhl, Germany (2009)
  • Ch. Denis, R. Couturier, F. Jézéquel : “A Sparse Linear System Solver Used in a Distributed and Heterogeneous Grid Computing Environment”, chapter in Parallel Scientific Computing and Optimization, vol. 27, Springer Optimization and Its Applications, pp. 47-56, (Springer, New York), (ISBN: 978-0-387-09706-0) (2009)
  • J.‑M. Chesneaux, S. Graillat, F. Jézéquel : “Rounding errors”, chapter in Wiley Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed.), vol. 4, B. Wah (Ed.), Hoboken, N.J., pp. 2490-2494, (ISBN: 978-0-471-38393-2) (2009)
  • J.‑M. Chesneaux, F. Jézéquel, J.‑L. Lamotte : “Stochastic arithmetic and verification of mathematical models”, chapter in Uncertainties in environmental modelling and consequences for policy making, Ph. Baveye, J. Mysiak, M. Laba (Eds.), pp. 101-125, (Springer) (2009)
  • J.‑M. Chesneaux, S. Graillat, F. Jézéquel : “Numerical validation and assessment of numerical accuracy”, LIP6 (2009)
• 2008
  • F. Jézéquel, J.‑M. Chesneaux : “CADNA: a library for estimating round-off error propagation”, Computer Physics Communications, vol. 178 (12), pp. 933-955, (ISBN: 0010-4655) (2008)
  • N. Scott, V. Faro‑Maza, M. Penny Scott, T. Harmer, J.‑M. Chesneaux, Ch. Denis, F. Jézéquel : “E-Collisions Using E-Science”, Physics of Particles and Nuclei Letters / PisВ'ma v Zhurnal Fizika Elementarnykh Chastits i Atomnogo Yadra, vol. 5 (3), pp. 150-156, (ISBN: 1547-4771) (2008)
  • R. Couturier, Ch. Denis, F. Jézéquel : “GREMLINS: a large sparse linear solver for grid environment”, Parallel Computing, vol. 34 (6-8), pp. 380-391 (2008)
  • Ch. Denis, F. Jézéquel : “Numerical validation of eigenvalues computation in solving polynomial systems”, Proceedings of the 8^th Real Numbers and Computers conference, Santiago de Compostela, Spain, pp. 123-131 (2008)
  • Ch. Denis, R. Couturier, F. Jézéquel : “Load balancing of the direct linear multisplitting method in a grid computing environment”, n°RR2008-01, LIP6 (2008)
  • F. Jézéquel, R. Couturier, Ch. Denis : “Solving large sparse linear systems in a grid environment: the GREMLINS code versus the PETSc library”, n°RR2008-06, LIP6 (2008)
• 2007
  • N. Scott, F. Jézéquel, Ch. Denis, J.‑M. Chesneaux : “Numerical ’health check’ for scientific codes: the CADNA approach”, Computer Physics Communications, vol. 176 (8), pp. 507-521, (ISBN: 0010-4655) (2007)
  • Ch. Denis, F. Jézéquel, N. Scott : “High Performance Computation: numerical music or numerical noise?”, Proceedings of the 8^th HERCMA (Hellenic European Research on Computer Mathematics and its Applications) conference, Athens, Greece, pp. 1-8 (2007)
• 2006
  • F. Jézéquel : “A dynamical strategy for approximation methods”, Comptes Rendus Mécanique, vol. 334 (6), pp. 362-367, (ISBN: 1631-0721) (2006)
  • F. Jézéquel, F. Rico, J.‑M. Chesneaux, M. Charikhi : “Reliable computation of a multiple integral involved in the neutron star theory”, Mathematics and Computers in Simulation, vol. 71 (1), pp. 44-61, (ISBN: 0378-4754) (2006)
  • J.‑M. Chesneaux, Ch. Denis, F. Jézéquel, N. Scott : “Dynamical strategies for the computation of integrals: an example from the CPC library”, Proc. SCAN2006 conference, Duisburg, Germany, pp. 41-42 (2006)
  • N. Scott, V. Faro‑Maza, M. Penny Scott, T. Harmer, J.‑M. Chesneaux, F. Jézéquel, Ch. Denis : “e-Collisions Using e-Science”, Mathematical Modeling and Computational Physics, High Tatra Mountains, Slovakia (2006)
  • S. Contassot‑Vivier, R. Couturier, Ch. Denis, F. Jézéquel : “Efficiently solving large sparse linear systems on a distributed and heterogeneous grid by using the multisplitting-direct method”, Proc. 4^th International Workshop on Parallel Matrix Algorithms and Applications, PMAA'06, Rennes, France, pp. 1-2 (2006)
  • N. Scott, Liviu Gr. Ixaru, Ch. Denis, F. Jézéquel, J.‑M. Chesneaux, M. Penny Scott : “High performance computation and numerical validation of e-collision software”, International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), vol. 6, Lecture Series on Computer and Computational Sciences, G. Maroulis, Th. Simos (Eds.), Chania, Crete, Greece, pp. 561-570, (CRC Press) (2006)
  • F. Jézéquel : “Dynamical strategies using Discrete Stochastic Arithmetic for approximation methods”, n°2006/001, LIP6 (2006)
• 2005
  • R. Adout, J.‑M. Chesneaux, F. Jézéquel : “Dynamical choice of the Krylov subspace dimension in the GMRES method”, 17^th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Paris, France (2005)
  • F. Jézéquel : “Dynamical control of approximation methods”, 2^nd International Workshop on Combinatorial Scientific Computing (CSC05), Toulouse, France (2005)
  • F. Jézéquel : “Contrôle dynamique de méthodes d’approximation”, хабилитация, Защита диссертаций 10.02.2005 (2005)
• 2004
  • F. Jézéquel, J.‑M. Chesneaux : “Computation of an infinite integral using Romberg’s method”, Numerical Algorithms, vol. 36 (3), pp. 265-283, (ISBN: 1017-1398) (2004)
  • F. Jézéquel : “Dynamical control of converging sequences computation”, Applied Numerical Mathematics, vol. 50 (2), pp. 147-164, (ISBN: 0168-9274) (2004)
  • R. Adout, J.‑M. Chesneaux, F. Jézéquel : “A reliable hybrid extrapolation algorithm to accelerate the restarted GMRES method”, SCAN 2004 - 11^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, pp. 28-28 (2004)
• 2003
  • F. Jézéquel, F. Rico, J.‑M. Chesneaux, M. Charikhi : “Dynamical control of a multiple integral using Discrete Stochastic Arithmetic”, Dagstuhl Seminar, Dagstuhl, Germany (2003)
  • F. Jézéquel : “Dynamical control of converging sequences using Discrete Stochastic Arithmetic”, LIP6 (2003)
• 2002
  • M. Charikhi, J.‑M. Chesneaux, F. Jézéquel, F. Rico, L. Villain : “A dynamical computation of a multiple integral involved in the neutron star theory”, SCAN 2002 - 10^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France (2002)
  • M. Charikhi, J.‑M. Chesneaux, F. Jézéquel : “Dynamical control of computations of multiple integrals”, SCAN 2002 - 10^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France (2002)
• 2001
  • F. Jézéquel, J.‑M. Chesneaux : “Théorie et pratique de l’arithmétique stochastique discrète”, Réseaux et systèmes répartis - Calculateurs parallèles, vol. 13 (4-5), M. Daumas (Ed.), pp. 485-504 (2001)
  • F. Jézéquel : “Numerical accuracy of converging sequences”, Mathematical Modelling and Scientific Computations, Borovets, Bulgaria, pp. 444-449 (2001)
  • F. Jézéquel, J.‑M. Chesneaux : “Numerical computation of an infinite integral using dynamical extrapolation method”, International Conference on NUMERICAL ALGORITHMS, Marrakech, Morocco (2001)
  • F. Jézéquel, J.‑M. Chesneaux : “For reliable and powerful scientific computations”, chapter in Scientific Computing, Validated Numerics, Interval Methods, W. Kraemer, J. Wolff Von Gudenberg (Eds.), pp. 367-377, (Kluwer Academic/Plenum), (ISBN: 978-1-4419-3376-8) (2001)
• 2000
  • F. Jézéquel : “Dynamical control of computations using approximation methods”, 16^e congrès mondial de l'IMACS, Lausanne, Switzerland (2000)
  • J.‑M. Chesneaux, F. Jézéquel : “Numerical validation on vectorial computers”, SCAN 2000 - 9^th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Karlsruhe, Germany (2000)
• 1999
  • F. Jézéquel : “A validated parallel across time and space solution of the heat transfer equation”, Applied Numerical Mathematics, vol. 31 (1), pp. 65-79, (ISBN: 0168-9274) (1999)
• 1998
  • J.‑M. Chesneaux, F. Jézéquel : “Dynamical control of computations using the Trapezoidal and Simpson’s rules”, Journal of Universal Computer Science, vol. 4 (1), pp. 2-10, (ISBN: 0948-695x) (1998)
  • “Third Real Numbers and Computers conference, book of abstracts”, J.-M. Chesneaux, F. Jézéquel, J.-L. Lamotte, J. Vignes (Eds.), Paris, France, (ISBN: -) (1998)
  • F. Jézéquel, J.‑M. Chesneaux : “Etude de la stabilité numérique du code OPA-version 8.0”, (1998)
• 1997
  • J.‑M. Chesneaux, F. Jézéquel : “Dynamical numerical validation of quadrature methods”, SCAN'97, Lyon, France, pp. 17-20 (1997)
• 1996
  • F. Jézéquel : “A time and space parallel algorithm for the heat equation : the implicit collocation method”, Proceedings of Euro-Par'96, Lyon, France (1996)
  • F. Jézéquel : “Propagation de l’erreur d’arrondi lors de la résolution de l’équation des ondes”, Proceedings of the 2^nd Real Numbers and Computers Conference, Marseille, France (1996)