Stef Graillat

According to our database, Stef Graillat authored at least 54 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adaptive Precision Sparse Matrix-Vector Product and Its Application to Krylov Solvers.

Stef Graillat, Fabienne Jézéquel, Théo Mary, Roméo Molina

SIAM J. Sci. Comput., February, 2024

General framework for re-assuring numerical reliability in parallel Krylov solvers: A case of bi-conjugate gradient stabilized methods.

Roman Iakymchuk, Stef Graillat, José Ignacio Aliaga

Int. J. High Perform. Comput. Appl., January, 2024

Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product.

Stef Graillat, Fabienne Jézéquel, Théo Mary, Roméo Molina, Daichi Mukunoki

Proceedings of the Euro-Par 2024: Parallel Processing, 2024

2023

XHYPRE: a reliable parallel numerical algorithm library for solving large-scale sparse linear equations.

Chuanying Li, Stef Graillat, Zhe Quan, Tongxiang Gu, Hao Jiang, Kenli Li

CCF Trans. High Perform. Comput., June, 2023

Modular Matrix Multiplication on GPU for Polynomial System Solving.

Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Théo Mary

ACM Commun. Comput. Algebra, June, 2023

Multi-level parallel multi-layer block reproducible summation algorithm.

Kuan Li, Kang He, Stef Graillat, Hao Jiang, Tongxiang Gu, Jie Liu

Parallel Comput., February, 2023

Performance of precision auto-tuned neural networks.

Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel

Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2023

Comparison of Reproducible Parallel Preconditioned BiCGSTAB Algorithm Based on ExBLAS and ReproBLAS.

Xiaojun Lei, Tongxiang Gu, Stef Graillat, Xiaowen Xu, Jing Meng

Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2023

A parallel compensated Horner scheme for SIMD architecture.

Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

A fast parallel high-precision summation algorithm based on AccSumK.

Xiaojun Lei, Tongxiang Gu, Stef Graillat, Hao Jiang, Jin Qi

J. Comput. Appl. Math., 2022

General Framework for Deriving Reproducible Krylov Subspace Algorithms: BiCGStab Case.

Roman Iakymchuk, Stef Graillat, José Ignacio Aliaga

Proceedings of the Parallel Processing and Applied Mathematics, 2022

Neural Network Precision Tuning Using Stochastic Arithmetic.

Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD.

Stef Graillat, Fabienne Jézéquel, Enzo Queiros Martins, Maxime Spyropoulos

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020

Tight Interval Inclusions with Compensated Algorithms.

Stef Graillat, Fabienne Jézéquel

IEEE Trans. Computers, 2020

Reproducibility of parallel preconditioned conjugate gradient in hybrid programming environments.

Roman Iakymchuk, María Barreda Vayá, Stef Graillat, José Ignacio Aliaga, Enrique S. Quintana-Ortí

Int. J. High Perform. Comput. Appl., 2020

Reproducibility of Parallel Preconditioned Conjugate Gradient in Hybrid Programming Environments.

Roman Iakymchuk, Maria Barreda, Stef Graillat, José Ignacio Aliaga, Enrique S. Quintana-Ortí

CoRR, 2020

Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results?

Fabienne Jézéquel, Stef Graillat, Daichi Mukunoki, Toshiyuki Imamura, Roman Iakymchuk

Proceedings of the Software Verification - 12th International Conference, 2020

Alternative Split Functions and Dekker's Product.

Stef Graillat, Vincent Lefèvre, Jean-Michel Muller

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2019

Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic.

Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte, Bruno Lathuilière

J. Comput. Sci., 2019

Hierarchical approach for deriving a reproducible unblocked LU factorization.

Roman Iakymchuk, Stef Graillat, David Defour, Enrique S. Quintana-Ortí

Int. J. High Perform. Comput. Appl., 2019

2018

Numerical validation of compensated algorithms with stochastic arithmetic.

Stef Graillat, Fabienne Jézéquel, Romain Picot

Appl. Math. Comput., 2018

An accurate algorithm for evaluating rational functions.

Stef Graillat

Appl. Math. Comput., 2018

2017

GPU-Accelerated Generation of Correctly Rounded Elementary Functions.

Pierre Fortin, Mourad Gouicem, Stef Graillat

ACM Trans. Math. Softw., 2017

On the Robustness of the 2Sum and Fast2Sum Algorithms.

Sylvie Boldo, Stef Graillat, Jean-Michel Muller

ACM Trans. Math. Softw., 2017

Resolving small random symmetric linear systems on graphics processing units.

Lokman A. Abbas-Turki, Stef Graillat

J. Supercomput., 2017

Towards Reproducible Blocked LU Factorization.

Roman Iakymchuk, Enrique S. Quintana-Ortí, Erwin Laure, Stef Graillat

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016

Accurate, validated and fast evaluation of elementary symmetric functions and its application.

Hao Jiang, Stef Graillat, Roberto Barrio, Canqun Yang

Appl. Math. Comput., 2016

2015

Efficient Calculations of Faithfully Rounded <i>l</i>₂-Norms of <i>n</i>-Vectors.

Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi

ACM Trans. Math. Softw., 2015

Numerical reproducibility for the parallel reduction on multi- and many-core architectures.

Caroline Collange, David Defour, Stef Graillat, Roman Iakymchuk

Parallel Comput., 2015

On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic.

Stef Graillat, Vincent Lefèvre, Jean-Michel Muller

Numer. Algorithms, 2015

Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic.

Stef Graillat, Fabienne Jézéquel, Romain Picot

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Reproducible Triangular Solvers for High-Performance Computing.

Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat

Proceedings of the 12th International Conference on Information Technology, 2015

2014

On the maximum relative error when computing x^n in floating-point arithmetic.

Stef Graillat, Vincent Lefèvre, Jean-Michel Muller

CoRR, 2014

Reproducible and Accurate Matrix Multiplication.

Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat

Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014

2013

Accurate evaluation of the k-th derivative of a polynomial and its application.

Hao Jiang, Stef Graillat, Canbin Hu, Shengguo Li, Xiangke Liao, Lizhi Cheng, Fang Su

J. Comput. Appl. Math., 2013

Accurate and Fast Evaluation of Elementary Symmetric Functions.

Hao Jiang, Stef Graillat, Roberto Barrio

Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

2012

Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic.

Stef Graillat, Valérie Ménissier-Morain

Inf. Comput., 2012

Correctly rounding elementary functions on GPU

Pierre Fortin, Mourad Gouicem, Stef Graillat

CoRR, 2012

Accurate computing elementary symmetric functions.

Hao Jiang, Stef Graillat, Roberto Barrio

ACM Commun. Comput. Algebra, 2012

Towards Solving the Table Maker's Dilemma on GPU.

Pierre Fortin, Mourad Gouicem, Stef Graillat

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

2011

Stochastic Arithmetic in Multiprecision.

Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu

Math. Comput. Sci., 2011

2010

Verified error bounds for multiple roots of systems of nonlinear equations.

Siegfried M. Rump, Stef Graillat

Numer. Algorithms, 2010

A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic.

Jérémy Jean, Stef Graillat

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Accurate Floating-Point Product and Exponentiation.

Stef Graillat

IEEE Trans. Computers, 2009

A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system.

Stef Graillat, Philippe Trebuchet

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Rounding Errors.

Jean Marie Chesneaux, Stef Graillat, Fabienne Jézéquel

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Accurate simple zeros of polynomials in floating point arithmetic.

Stef Graillat

Comput. Math. Appl., 2008

Error-Free Transformation in Rounding Mode toward Zero.

Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

2007

Pseudozero Set of Real Multivariate Polynomials.

Stef Graillat

Math. Comput. Sci., 2007

Real and complex pseudozero sets for polynomials with applications.

Stef Graillat, Philippe Langlois

RAIRO Theor. Informatics Appl., 2007

2006

Improving the compensated Horner scheme with a fused multiply and add.

Stef Graillat, Philippe Langlois, Nicolas Louvet

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Pseudozero set of interval polynomials.

Stef Graillat, Philippe Langlois

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

A note on a nearest polynomial with a given root.

Stef Graillat

SIGSAM Bull., 2005

Compensated Horner Scheme.

Philippe Langlois, Stef Graillat, Nicolas Louvet

Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005