Stef Graillat

According to our database1, Stef Graillat authored at least 40 papers between 2005 and 2020.

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



In proceedings 
PhD thesis 




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.
Electron. Notes Theor. Comput. Sci., 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