Full Professor
Team : PEQUAN
Localisation : Campus Pierre et Marie CurieSorbonne Université - LIP6 Boîte courrier 169 Couloir 26-00, Étage 3, Bureau 313 4 place Jussieu 75252 PARIS CEDEX 05 FRANCE Tel: +33 1 44 27 87 90, Stef.Graillat (at) nulllip6.fr http://www-pequan.lip6.fr/~graillat/
S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “Numerical validation in quadruple precision using stochastic arithmetic”, TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, vol. 8, Kalpa Publications in Computing, Krakow, Poland, pp. 38-53, (EasyChair) (2018)
S. Graillat, F. Jézéquel : “Tight interval inclusions with compensated algorithms”, 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts, Tokyo, Japan, pp. 86-87 (2018)
S. Graillat, Y. Ibrahimy, C. Jeangoudoux, Ch. Lauter : “A Parallel Compensated Horner Scheme”, CSE 2017, SIAM Conference on Computational Science and Engineering (CSE), Atlanta, USA (2017)
S. Graillat : “Accurate computations with polynomials”, The International Workshop on Numerical Verification and its Applications, Miyako-jima, Okinawa, Japan (2017)
R. Iakymchuk, S. Graillat, D. Defour, E. Laure, E. Quintana‑Ortí : “Towards a Reproducible Solution of Linear Systems”, Supercomputing Conference 2017-Computational Reproducibility at Exascale Workshop, Denver, USA (2017)
R. Iakymchuk, E. Quintana‑Ortí, E. Laure, S. Graillat : “Towards Reproducible Blocked LU Factorization”, 4th International Workshop on Reproducibility in Parallel Computing in conjunction with IPDPS 2017 - 31st IEEE International Parallel & Distributed Processing Symposium, Orlando, USA (2017)
S. Graillat, C. Jeangoudoux, Ch. Lauter : “A Decimal Multiple-Precision Interval Arithmetic Library”, 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Uppsala, Sweden (2016)
S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “PROMISE: floating-point precision tuning with stochastic arithmetic”, 17th international symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN 2016), UPPSALA, Sweden, pp. 98-99 (2016)
R. Iakymchuk, D. Defour, S. Graillat : “Towards Fast, Accurate and Reproducible LU Factorization”, SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Uppsala, Sweden, pp. 59-60 (2016)
R. Iakymchuk, S. Graillat, S. Collange, D. Defour : “ExBLAS: Reproducible and Accurate BLAS Library”, RAIM: Rencontres Arithmétiques de l'Informatique Mathématique, Rennes, France (2015)
S. Graillat, Ch. Lauter, P. Peter Tang, N. Yamanaka, Sh. Oishi : “A method of calculating faithful rounding of l2-norm for n-vectors”, 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, pp. 60-61 (2014)
R. Iakymchuk, D. Defour, S. Collange, S. Graillat : “Reproducible and Accurate Matrix Multiplication”, SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics n°9553, Lecture Notes of Computer Science, Wurzburg, Germany, pp. 126-137 (2014)
P. Fortin, M. Gouicem, S. Graillat : “Solving the Table Maker’s Dilemma by reducing divergence on GPU”, Proceedings of the 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, Russia, pp. 45-46 (2012)
P. Fortin, M. Gouicem, S. Graillat : “Towards solving the Table Maker’s Dilemma on GPU”, 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Garching, Germany, pp. 407-415, (IEEE) (2012)
2011
S. Graillat, F. Jézéquel, Sh. Wang, Y. Zhu : “Stochastic Arithmetic in Multiprecision”, Mathematics in Computer Science, vol. 5 (4), pp. 359-375, (ISBN: 1661-8270) (2011)
2010
S. Graillat, F. Jézéquel, Y. Zhu : “SAM: a multiprecision stochastic arithmetic library”, 14th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Lyon, France, pp. 70-71 (2010)
S. Graillat, F. Jézéquel, Y. Zhu : “Stochastic Arithmetic in Multiprecision”, Third International Workshop on Numerical Software Verification (NSV-3), part of Federated Logic Conference (FLoC), Edinburgh, United Kingdom (2010)
J.‑M. Chesneaux, S. Graillat, F. Jézéquel : “Rounding errors”, chapter in Wiley Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed.), vol. 4, B. Wah (Ed.), Hoboken, N.J., pp. 2490-2494, (ISBN: 978-0-471-38393-2) (2009)
S. Graillat : “Accurate Floating Point Product”, Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, USA, pp. 351-361 (2008)
S. Graillat : “Accurate simple zeros of polynomials”, 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, pp. 52-53 (2008)
S. Graillat, V. Ménissier‑Morain : “Compensated Horner scheme in complex floating point arithmetic”, Proceedings, 8th Conference on Real Numbers and Computers, J. D. Bruguera, D. Daumas (Eds.), Santiago de Compostela, Spain, pp. 133-146, (ISBN: 978-84-691-4381-0) (2008)
S. Graillat, J.‑L. Lamotte, H. Nguyen : “Error-Free Transformation in Rounding Mode toward Zero”, Numerical Validation in Current Hardware Architectures, revised papers, vol. 5492, Lecture Notes In Computer Science, Dagstuhl, Germany, pp. 217-229, (Springer) (2008)
S. Graillat, J.‑L. Lamotte, Siegfried M. Rump, S. Markov : “Interval arithmetic on the Cell processor”, 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, El Paso, Texas, USA, pp. 54-54 (2008)
S. Graillat : “A note on structured pseudospectra”, Journal of Computational and Applied Mathematics, vol. 191 (1), pp. 68-76, (ISBN: 0377-0427) (2006)
S. Graillat : “Validated Pseudozero Set of Polynomials”, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, Duisburg, Germany, pp. 160-161, (IEEE) (2006)