Stef Graillat

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 26

Top Topics

Matrix Multiplication

Processing Units

Preconditioned Conjugate Gradient

Top Venues

ACM Trans. Math. Softw.

Appl. Math. Comput.

Int. J. High Perform. Comput. Appl.

Publications

Stef Graillat, Fabienne Jézéquel, Théo Mary, Roméo Molina
Adaptive Precision Sparse Matrix-Vector Product and Its Application to Krylov Solvers. SIAM J. Sci. Comput. 46 (1) (2024)
Roman Iakymchuk, Stef Graillat, José Ignacio Aliaga
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. 38 (1) (2024)
Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter
A parallel compensated Horner scheme for SIMD architecture. ARITH (2023)
Chuanying Li, Stef Graillat, Zhe Quan, Tongxiang Gu, Hao Jiang, Kenli Li
XHYPRE: a reliable parallel numerical algorithm library for solving large-scale sparse linear equations. CCF Trans. High Perform. Comput. 5 (2) (2023)
Jérémy Berthomieu, Stef Graillat, Dimitri Lesnoff, Théo Mary
Modular Matrix Multiplication on GPU for Polynomial System Solving. ACM Commun. Comput. Algebra 57 (2) (2023)
Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel
Performance of precision auto-tuned neural networks. MCSoC (2023)
Xiaojun Lei, Tongxiang Gu, Stef Graillat, Xiaowen Xu, Jing Meng
Comparison of Reproducible Parallel Preconditioned BiCGSTAB Algorithm Based on ExBLAS and ReproBLAS. HPC Asia (2023)
Kuan Li, Kang He, Stef Graillat, Hao Jiang, Tongxiang Gu, Jie Liu
Multi-level parallel multi-layer block reproducible summation algorithm. Parallel Comput. 115 (2023)
Xiaojun Lei, Tongxiang Gu, Stef Graillat, Hao Jiang, Jin Qi
A fast parallel high-precision summation algorithm based on AccSumK. J. Comput. Appl. Math. 406 (2022)
Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski
Neural Network Precision Tuning Using Stochastic Arithmetic. NSV/FoMLAS@CAV (2022)
Roman Iakymchuk, Stef Graillat, José Ignacio Aliaga
General Framework for Deriving Reproducible Krylov Subspace Algorithms: BiCGStab Case. PPAM (1) (2022)
Stef Graillat, Fabienne Jézéquel, Enzo Queiros Martins, Maxime Spyropoulos
Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD. SYNASC (2021)
Fabienne Jézéquel, Stef Graillat, Daichi Mukunoki, Toshiyuki Imamura, Roman Iakymchuk
Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results? VSTTE (2020)
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
Alternative Split Functions and Dekker's Product. ARITH (2020)
Roman Iakymchuk, Maria Barreda Vayá, Stef Graillat, José Ignacio Aliaga, Enrique S. Quintana-Ortí
Reproducibility of parallel preconditioned conjugate gradient in hybrid programming environments. Int. J. High Perform. Comput. Appl. 34 (5) (2020)
Stef Graillat, Fabienne Jézéquel
Tight Interval Inclusions with Compensated Algorithms. IEEE Trans. Computers 69 (12) (2020)
Roman Iakymchuk, Maria Barreda, Stef Graillat, José Ignacio Aliaga, Enrique S. Quintana-Ortí
Reproducibility of Parallel Preconditioned Conjugate Gradient in Hybrid Programming Environments. CoRR (2020)
Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte, Bruno Lathuilière
Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic. J. Comput. Sci. 36 (2019)
Roman Iakymchuk, Stef Graillat, David Defour, Enrique S. Quintana-Ortí
Hierarchical approach for deriving a reproducible unblocked LU factorization. Int. J. High Perform. Comput. Appl. 33 (5) (2019)
Stef Graillat, Fabienne Jézéquel, Romain Picot
Numerical validation of compensated algorithms with stochastic arithmetic. Appl. Math. Comput. 329 (2018)
Stef Graillat
An accurate algorithm for evaluating rational functions. Appl. Math. Comput. 337 (2018)
Sylvie Boldo, Stef Graillat, Jean-Michel Muller
On the Robustness of the 2Sum and Fast2Sum Algorithms. ACM Trans. Math. Softw. 44 (1) (2017)
Roman Iakymchuk, Enrique S. Quintana-Ortí, Erwin Laure, Stef Graillat
Towards Reproducible Blocked LU Factorization. IPDPS Workshops (2017)
Pierre Fortin, Mourad Gouicem, Stef Graillat
GPU-Accelerated Generation of Correctly Rounded Elementary Functions. ACM Trans. Math. Softw. 43 (3) (2017)
Lokman A. Abbas-Turki, Stef Graillat
Resolving small random symmetric linear systems on graphics processing units. J. Supercomput. 73 (4) (2017)
Hao Jiang, Stef Graillat, Roberto Barrio, Canqun Yang
Accurate, validated and fast evaluation of elementary symmetric functions and its application. Appl. Math. Comput. 273 (2016)
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Numer. Algorithms 70 (3) (2015)
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
Reproducible Triangular Solvers for High-Performance Computing. ITNG (2015)
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
Numerical reproducibility for the parallel reduction on multi- and many-core architectures. Parallel Comput. 49 (2015)
Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi
-Vectors. ACM Trans. Math. Softw. 41 (4) (2015)
Stef Graillat, Fabienne Jézéquel, Romain Picot
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic. Electron. Notes Theor. Comput. Sci. 317 (2015)
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
On the maximum relative error when computing x^n in floating-point arithmetic. CoRR (2014)
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
Reproducible and Accurate Matrix Multiplication. SCAN (2014)
Hao Jiang, Stef Graillat, Roberto Barrio
Accurate and Fast Evaluation of Elementary Symmetric Functions. IEEE Symposium on Computer Arithmetic (2013)
Hao Jiang, Stef Graillat, Canbin Hu, Shengguo Li, Xiangke Liao, Lizhi Cheng, Fang Su
Accurate evaluation of the k-th derivative of a polynomial and its application. J. Comput. Appl. Math. 243 (2013)
Stef Graillat, Valérie Ménissier-Morain
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. Inf. Comput. 216 (2012)
Pierre Fortin, Mourad Gouicem, Stef Graillat
Correctly rounding elementary functions on GPU CoRR (2012)
Pierre Fortin, Mourad Gouicem, Stef Graillat
Towards Solving the Table Maker's Dilemma on GPU. PDP (2012)
Hao Jiang, Stef Graillat, Roberto Barrio
Accurate computing elementary symmetric functions. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu
Stochastic Arithmetic in Multiprecision. Math. Comput. Sci. 5 (4) (2011)
Siegfried M. Rump, Stef Graillat
Verified error bounds for multiple roots of systems of nonlinear equations. Numer. Algorithms 54 (3) (2010)
Jérémy Jean, Stef Graillat
A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic. SYNASC (2010)
Stef Graillat
Accurate Floating-Point Product and Exponentiation. IEEE Trans. Computers 58 (7) (2009)
Stef Graillat, Philippe Trebuchet
A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system. ISSAC (2009)
Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong
Error-Free Transformation in Rounding Mode toward Zero. Numerical Validation in Current Hardware Architectures (2008)
Stef Graillat
Accurate simple zeros of polynomials in floating point arithmetic. Comput. Math. Appl. 56 (4) (2008)
Stef Graillat
Pseudozero Set of Real Multivariate Polynomials. Math. Comput. Sci. 1 (2) (2007)
Stef Graillat, Philippe Langlois
Real and complex pseudozero sets for polynomials with applications. RAIRO Theor. Informatics Appl. 41 (1) (2007)
Stef Graillat, Philippe Langlois, Nicolas Louvet
Improving the compensated Horner scheme with a fused multiply and add. SAC (2006)
Stef Graillat, Philippe Langlois
Pseudozero set of interval polynomials. SAC (2006)
Stef Graillat
A note on a nearest polynomial with a given root. SIGSAM Bull. 39 (2) (2005)
Philippe Langlois, Stef Graillat, Nicolas Louvet
Compensated Horner Scheme. Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)