default search action
Stef Graillat
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j29]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): 17-33 (2024) - [j28]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): 30- (2024) - [c20]Stef Graillat, Fabienne Jézéquel, Théo Mary, Roméo Molina, Daichi Mukunoki:
Reduced-Precision and Reduced-Exponent Formats for Accelerating Adaptive Precision Sparse Matrix-Vector Product. Euro-Par (3) 2024: 17-30 - 2023
- [j27]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): 35-38 (2023) - [j26]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): 191-209 (2023) - [j25]Kuan Li, Kang He, Stef Graillat, Hao Jiang, Tongxiang Gu, Jie Liu:
Multi-level parallel multi-layer block reproducible summation algorithm. Parallel Comput. 115: 102996 (2023) - [c19]Stef Graillat, Youness Ibrahimy, Clothilde Jeangoudoux, Christoph Quirin Lauter:
A parallel compensated Horner scheme for SIMD architecture. ARITH 2023: 131-138 - [c18]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: 46-54 - [c17]Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel:
Performance of precision auto-tuned neural networks. MCSoC 2023: 592-599 - 2022
- [j24]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: 113827 (2022) - [c16]Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski:
Neural Network Precision Tuning Using Stochastic Arithmetic. NSV/FoMLAS@CAV 2022: 164-186 - [c15]Roman Iakymchuk, Stef Graillat, José Ignacio Aliaga:
General Framework for Deriving Reproducible Krylov Subspace Algorithms: BiCGStab Case. PPAM (1) 2022: 16-29 - 2021
- [c14]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: 45-51 - 2020
- [j23]Roman Iakymchuk, María 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) - [j22]Stef Graillat, Fabienne Jézéquel:
Tight Interval Inclusions with Compensated Algorithms. IEEE Trans. Computers 69(12): 1774-1783 (2020) - [c13]Stef Graillat, Vincent Lefèvre, Jean-Michel Muller:
Alternative Split Functions and Dekker's Product. ARITH 2020: 41-47 - [c12]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: 163-177 - [i4]Roman Iakymchuk, Maria Barreda, Stef Graillat, José Ignacio Aliaga, Enrique S. Quintana-Ortí:
Reproducibility of Parallel Preconditioned Conjugate Gradient in Hybrid Programming Environments. CoRR abs/2005.07282 (2020)
2010 – 2019
- 2019
- [j21]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) - [j20]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) - 2018
- [j19]Stef Graillat, Fabienne Jézéquel, Romain Picot:
Numerical validation of compensated algorithms with stochastic arithmetic. Appl. Math. Comput. 329: 339-363 (2018) - [j18]Stef Graillat:
An accurate algorithm for evaluating rational functions. Appl. Math. Comput. 337: 494-503 (2018) - 2017
- [j17]Lokman A. Abbas-Turki, Stef Graillat:
Resolving small random symmetric linear systems on graphics processing units. J. Supercomput. 73(4): 1360-1386 (2017) - [j16]Pierre Fortin, Mourad Gouicem, Stef Graillat:
GPU-Accelerated Generation of Correctly Rounded Elementary Functions. ACM Trans. Math. Softw. 43(3): 22:1-22:26 (2017) - [j15]Sylvie Boldo, Stef Graillat, Jean-Michel Muller:
On the Robustness of the 2Sum and Fast2Sum Algorithms. ACM Trans. Math. Softw. 44(1): 4:1-4:14 (2017) - [c11]Roman Iakymchuk, Enrique S. Quintana-Ortí, Erwin Laure, Stef Graillat:
Towards Reproducible Blocked LU Factorization. IPDPS Workshops 2017: 1598-1607 - 2016
- [j14]Hao Jiang, Stef Graillat, Roberto Barrio, Canqun Yang:
Accurate, validated and fast evaluation of elementary symmetric functions and its application. Appl. Math. Comput. 273: 1160-1178 (2016) - 2015
- [j13]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): 653-667 (2015) - [j12]Caroline Collange, David Defour, Stef Graillat, Roman Iakymchuk:
Numerical reproducibility for the parallel reduction on multi- and many-core architectures. Parallel Comput. 49: 83-97 (2015) - [j11]Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi:
Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. ACM Trans. Math. Softw. 41(4): 24:1-24:20 (2015) - [c10]Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat:
Reproducible Triangular Solvers for High-Performance Computing. ITNG 2015: 353-358 - [c9]Stef Graillat, Fabienne Jézéquel, Romain Picot:
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic. NSV 2015: 55-69 - 2014
- [c8]Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat:
Reproducible and Accurate Matrix Multiplication. SCAN 2014: 126-137 - [i3]Stef Graillat, Vincent Lefèvre, Jean-Michel Muller:
On the maximum relative error when computing x^n in floating-point arithmetic. CoRR abs/1402.2991 (2014) - 2013
- [j10]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: 28-47 (2013) - [c7]Hao Jiang, Stef Graillat, Roberto Barrio:
Accurate and Fast Evaluation of Elementary Symmetric Functions. IEEE Symposium on Computer Arithmetic 2013: 183-190 - 2012
- [j9]Hao Jiang, Stef Graillat, Roberto Barrio:
Accurate computing elementary symmetric functions. ACM Commun. Comput. Algebra 46(3/4): 102-103 (2012) - [j8]Stef Graillat, Valérie Ménissier-Morain:
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. Inf. Comput. 216: 57-71 (2012) - [c6]Pierre Fortin, Mourad Gouicem, Stef Graillat:
Towards Solving the Table Maker's Dilemma on GPU. PDP 2012: 407-415 - [i2]Pierre Fortin, Mourad Gouicem, Stef Graillat:
Correctly rounding elementary functions on GPU. CoRR abs/1211.3056 (2012) - 2011
- [j7]Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu:
Stochastic Arithmetic in Multiprecision. Math. Comput. Sci. 5(4): 359-375 (2011) - 2010
- [j6]Siegfried M. Rump, Stef Graillat:
Verified error bounds for multiple roots of systems of nonlinear equations. Numer. Algorithms 54(3): 359-377 (2010) - [c5]Jérémy Jean, Stef Graillat:
A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic. SYNASC 2010: 80-87
2000 – 2009
- 2009
- [j5]Stef Graillat:
Accurate Floating-Point Product and Exponentiation. IEEE Trans. Computers 58(7): 994-1000 (2009) - [c4]Stef Graillat, Philippe Trebuchet:
A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system. ISSAC 2009: 167-174 - 2008
- [j4]Stef Graillat:
Accurate simple zeros of polynomials in floating point arithmetic. Comput. Math. Appl. 56(4): 1114-1120 (2008) - [c3]Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong:
Error-Free Transformation in Rounding Mode toward Zero. Numerical Validation in Current Hardware Architectures 2008: 217-229 - [p1]Jean Marie Chesneaux, Stef Graillat, Fabienne Jézéquel:
Rounding Errors. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j3]Stef Graillat, Philippe Langlois:
Real and complex pseudozero sets for polynomials with applications. RAIRO Theor. Informatics Appl. 41(1): 45-56 (2007) - [j2]Stef Graillat:
Pseudozero Set of Real Multivariate Polynomials. Math. Comput. Sci. 1(2): 337-352 (2007) - 2006
- [c2]Stef Graillat, Philippe Langlois, Nicolas Louvet:
Improving the compensated Horner scheme with a fused multiply and add. SAC 2006: 1323-1327 - [c1]Stef Graillat, Philippe Langlois:
Pseudozero set of interval polynomials. SAC 2006: 1655-1659 - 2005
- [j1]Stef Graillat:
A note on a nearest polynomial with a given root. SIGSAM Bull. 39(2): 53-60 (2005) - [i1]Philippe Langlois, Stef Graillat, Nicolas Louvet:
Compensated Horner Scheme. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint