Compensated Horner Scheme. - Philippe Langlois; Stef Graillat; Nicolas Louvet (Algebraic and Numerical Algorithms and Computer-assisted Proofs, 2005)

A note on a nearest polynomial with a given root. - Stef Graillat (SIGSAM Bull., 2005)

Pseudozero set of interval polynomials. - Stef Graillat; Philippe Langlois (SAC, 2006)

Improving the compensated Horner scheme with a fused multiply and add. - Stef Graillat; Philippe Langlois; Nicolas Louvet (SAC, 2006)

Real and complex pseudozero sets for polynomials with applications. - Stef Graillat; Philippe Langlois (RAIRO Theor. Informatics Appl., 2007)

Pseudozero Set of Real Multivariate Polynomials. - Stef Graillat (Math. Comput. Sci., 2007)

Error-Free Transformation in Rounding Mode toward Zero. - Stef Graillat; Jean Luc Lamotte; Diep Nguyen Hong (Numerical Validation in Current Hardware Architectures, 2008)

Accurate simple zeros of polynomials in floating point arithmetic. - Stef Graillat (Comput. Math. Appl., 2008)

Rounding Errors. - Jean Marie Chesneaux; Stef Graillat; Fabienne Jézéquel (Wiley Encyclopedia of Computer Science and Engineering, 2008)

A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system. - Stef Graillat; Philippe Trebuchet (ISSAC, 2009)

Accurate Floating-Point Product and Exponentiation. - Stef Graillat (IEEE Trans. Computers, 2009)

A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic. - Jérémy Jean; Stef Graillat (SYNASC, 2010)

Verified error bounds for multiple roots of systems of nonlinear equations. - Siegfried M. Rump; Stef Graillat (Numer. Algorithms, 2010)

Stochastic Arithmetic in Multiprecision. - Stef Graillat; Fabienne Jézéquel; Shiyue Wang; Yuxiang Zhu (Math. Comput. Sci., 2011)

Towards Solving the Table Maker's Dilemma on GPU. - Pierre Fortin 001; Mourad Gouicem; Stef Graillat (PDP, 2012)

Accurate computing elementary symmetric functions. - Hao Jiang 001; Stef Graillat; Roberto Barrio (ACM Commun. Comput. Algebra, 2012)

Correctly rounding elementary functions on GPU - Pierre Fortin 001; Mourad Gouicem; Stef Graillat (CoRR, 2012)

Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. - Stef Graillat; Valérie Ménissier-Morain (Inf. Comput., 2012)

Accurate and Fast Evaluation of Elementary Symmetric Functions. - Hao Jiang 001; Stef Graillat; Roberto Barrio (IEEE Symposium on Computer Arithmetic, 2013)

Accurate evaluation of the k-th derivative of a polynomial and its application. - Hao Jiang 001; Stef Graillat; Canbin Hu; Shengguo Li; Xiangke Liao; Lizhi Cheng; Fang Su (J. Comput. Appl. Math., 2013)

Reproducible and Accurate Matrix Multiplication. - Roman Iakymchuk; David Defour; Caroline Collange; Stef Graillat (SCAN, 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 Triangular Solvers for High-Performance Computing. - Roman Iakymchuk; David Defour; Caroline Collange; Stef Graillat (ITNG, 2015)

Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic. - Stef Graillat; Fabienne Jézéquel; Romain Picot (NSV, 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 reproducibility for the parallel reduction on multi- and many-core architectures. - Caroline Collange; David Defour; Stef Graillat; Roman Iakymchuk (Parallel Comput., 2015)

Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. - Stef Graillat; Christoph Quirin Lauter; Ping Tak Peter Tang; Naoya Yamanaka; Shin'ichi Oishi (ACM Trans. Math. Softw., 2015)

Accurate, validated and fast evaluation of elementary symmetric functions and its application. - Hao Jiang 001; Stef Graillat; Roberto Barrio; Canqun Yang (Appl. Math. Comput., 2016)

Towards Reproducible Blocked LU Factorization. - Roman Iakymchuk; Enrique S. Quintana-Ortí; Erwin Laure; Stef Graillat (IPDPS Workshops, 2017)

Resolving small random symmetric linear systems on graphics processing units. - Lokman A. Abbas-Turki; Stef Graillat (J. Supercomput., 2017)

On the Robustness of the 2Sum and Fast2Sum Algorithms. - Sylvie Boldo; Stef Graillat; Jean-Michel Muller (ACM Trans. Math. Softw., 2017)

GPU-Accelerated Generation of Correctly Rounded Elementary Functions. - Pierre Fortin 001; Mourad Gouicem; Stef Graillat (ACM Trans. Math. Softw., 2017)

An accurate algorithm for evaluating rational functions. - Stef Graillat (Appl. Math. Comput., 2018)

Numerical validation of compensated algorithms with stochastic arithmetic. - Stef Graillat; Fabienne Jézéquel; Romain Picot (Appl. Math. Comput., 2018)

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)

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)

Alternative Split Functions and Dekker's Product. - Stef Graillat; Vincent Lefèvre; Jean-Michel Muller (ARITH, 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 (VSTTE, 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)

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)

Tight Interval Inclusions with Compensated Algorithms. - Stef Graillat; Fabienne Jézéquel (IEEE Trans. Computers, 2020)

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 (SYNASC, 2021)

Neural Network Precision Tuning Using Stochastic Arithmetic. - Quentin Ferro; Stef Graillat; Thibault Hilaire; Fabienne Jézéquel; Basile Lewandowski (NSV/FoMLAS@CAV, 2022)

General Framework for Deriving Reproducible Krylov Subspace Algorithms: BiCGStab Case. - Roman Iakymchuk; Stef Graillat; José Ignacio Aliaga (PPAM (1), 2022)

A fast parallel high-precision summation algorithm based on AccSumK. - Xiaojun Lei; Tongxiang Gu; Stef Graillat; Hao Jiang 001; Jin Qi (J. Comput. Appl. Math., 2022)

A parallel compensated Horner scheme for SIMD architecture. - Stef Graillat; Youness Ibrahimy; Clothilde Jeangoudoux; Christoph Quirin Lauter (ARITH, 2023)

Comparison of Reproducible Parallel Preconditioned BiCGSTAB Algorithm Based on ExBLAS and ReproBLAS. - Xiaojun Lei; Tongxiang Gu; Stef Graillat; Xiaowen Xu; Jing Meng (HPC Asia, 2023)

Performance of precision auto-tuned neural networks. - Quentin Ferro; Stef Graillat; Thibault Hilaire; Fabienne Jézéquel (MCSoC, 2023)

Multi-level parallel multi-layer block reproducible summation algorithm. - Kuan Li; Kang He; Stef Graillat; Hao Jiang 001; Tongxiang Gu; Jie Liu 002 (Parallel Comput., 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, 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 001; Kenli Li 001 (CCF Trans. High Perform. Comput., 2023)

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 (Euro-Par (3), 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., 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., 2024)

Condense and Distill: Fast Distillation of Large Floating-Point Sums via Condensation. - Stef Graillat; Théo Mary (SIAM J. Sci. Comput., 2025)