Stef Graillat

Orcid: 0000-0001-8954-2276

According to our database1, Stef Graillat authored at least 53 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Adaptive Precision Sparse Matrix-Vector Product and Its Application to Krylov Solvers.
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.
Int. J. High Perform. Comput. Appl., January, 2024

XHYPRE: a reliable parallel numerical algorithm library for solving large-scale sparse linear equations.
CCF Trans. High Perform. Comput., June, 2023

Modular Matrix Multiplication on GPU for Polynomial System Solving.
ACM Commun. Comput. Algebra, June, 2023

Multi-level parallel multi-layer block reproducible summation algorithm.
Parallel Comput., February, 2023

Performance of precision auto-tuned neural networks.
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.
Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2023

A parallel compensated Horner scheme for SIMD architecture.
Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

A fast parallel high-precision summation algorithm based on AccSumK.
J. Comput. Appl. Math., 2022

General Framework for Deriving Reproducible Krylov Subspace Algorithms: BiCGStab Case.
Proceedings of the Parallel Processing and Applied Mathematics, 2022

Neural Network Precision Tuning Using Stochastic Arithmetic.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Tight Interval Inclusions with Compensated Algorithms.
IEEE Trans. Computers, 2020

Reproducibility of parallel preconditioned conjugate gradient in hybrid programming environments.
Int. J. High Perform. Comput. Appl., 2020

Reproducibility of Parallel Preconditioned Conjugate Gradient in Hybrid Programming Environments.
CoRR, 2020

Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results?
Proceedings of the Software Verification - 12th International Conference, 2020

Alternative Split Functions and Dekker's Product.
Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic.
J. Comput. Sci., 2019

Hierarchical approach for deriving a reproducible unblocked LU factorization.
Int. J. High Perform. Comput. Appl., 2019

Numerical validation of compensated algorithms with stochastic arithmetic.
Appl. Math. Comput., 2018

An accurate algorithm for evaluating rational functions.
Appl. Math. Comput., 2018

GPU-Accelerated Generation of Correctly Rounded Elementary Functions.
ACM Trans. Math. Softw., 2017

On the Robustness of the 2Sum and Fast2Sum Algorithms.
ACM Trans. Math. Softw., 2017

Resolving small random symmetric linear systems on graphics processing units.
J. Supercomput., 2017

Towards Reproducible Blocked LU Factorization.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

Accurate, validated and fast evaluation of elementary symmetric functions and its application.
Appl. Math. Comput., 2016

Efficient Calculations of Faithfully Rounded <i>l</i><sub>2</sub>-Norms of <i>n</i>-Vectors.
ACM Trans. Math. Softw., 2015

Numerical reproducibility for the parallel reduction on multi- and many-core architectures.
Parallel Comput., 2015

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

Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic.
Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Reproducible Triangular Solvers for High-Performance Computing.
Proceedings of the 12th International Conference on Information Technology, 2015

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

Reproducible and Accurate Matrix Multiplication.
Proceedings of the Scientific Computing, Computer Arithmetic, and Validated Numerics, 2014

Accurate evaluation of the k-th derivative of a polynomial and its application.
J. Comput. Appl. Math., 2013

Accurate and Fast Evaluation of Elementary Symmetric Functions.
Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

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

Correctly rounding elementary functions on GPU
CoRR, 2012

Accurate computing elementary symmetric functions.
ACM Commun. Comput. Algebra, 2012

Towards Solving the Table Maker's Dilemma on GPU.
Proceedings of the 20th Euromicro International Conference on Parallel, 2012

Stochastic Arithmetic in Multiprecision.
Math. Comput. Sci., 2011

Verified error bounds for multiple roots of systems of nonlinear equations.
Numer. Algorithms, 2010

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, 2010

Accurate Floating-Point Product and Exponentiation.
IEEE Trans. Computers, 2009

A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Rounding Errors.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Accurate simple zeros of polynomials in floating point arithmetic.
Comput. Math. Appl., 2008

Error-Free Transformation in Rounding Mode toward Zero.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

Pseudozero Set of Real Multivariate Polynomials.
Math. Comput. Sci., 2007

Real and complex pseudozero sets for polynomials with applications.
RAIRO Theor. Informatics Appl., 2007

Improving the compensated Horner scheme with a fused multiply and add.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Pseudozero set of interval polynomials.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A note on a nearest polynomial with a given root.
SIGSAM Bull., 2005

Compensated Horner Scheme.
Proceedings of the Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005