Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel : “Performance of precision auto-tuned neural networks”, MCSoC 2023 (16th IEEE International Symposium on Embedded Multicore/Manycore Systems-on-Chip), special session POAT (Performance Optimization and Auto-Tuning of Software on Multicore/Manycore Systems), Singapore, Singapore (2023)
Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel : “Precision Auto-Tuning of High-Performance Neural Networks”, European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), minisymposium "Mixed Precision Computations in Theory and Practice", Lisbon, Portugal (2023)
Q. Ferro, S. Graillat, Th. Hilaire, F. Jézéquel : “Precision auto-tuning using stochastic arithmetic”, 10th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ``Exploring Arithmetic and Data Representation Beyond the Standard in HPC”, Tokyo, Japan (2023)
R. Molina, S. Graillat, F. Jézéquel, Th. Mary : “Adaptive Precision Sparse Iterative Solvers”, SIAM Conference on Computational Science and Engineering (CSE23), Amsterdam, Netherlands (2023)
S. Graillat, V. Lefèvre, J.‑M. Muller : “Alternative Split Functions and Dekker’s Product”, Proceedings of ARITH-2020, IEEE 27th Symposium on Computer Arithmetic, Portland, United States, pp. 1-7, (IEEE) (2020)
T. Imamura, D. Mukunoki, R. Iakymchuk, F. Jézéquel, S. Graillat : “Numerical Reproducibility based on Minimal-Precision Validation”, Computational Reproducibility at Exascale Workshop (CRE2019), in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Denver, United States (2019)
D. Mukunoki, I. Toshiyuki, Y. Tan, A. Koshiba, J. Huthmann, K. Sano, F. Jézéquel, S. Graillat, R. Iakymchuk, N. Fujita, T. Boku : “Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations”, France-Japan-Germany trilateral workshop: Convergence of HPC and Data Science for Future Extreme Scale Intelligent Applications, Tokyo, Japan (2019)
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)
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, United States (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, United States (2017)
S. Graillat : “Accurate computations with polynomials”, The International Workshop on Numerical Verification and its Applications, Miyako-jima, Okinawa, Japan (2017)
S. Graillat, Y. Ibrahimy, C. Jeangoudoux, Ch. Lauter : “A Parallel Compensated Horner Scheme”, CSE 2017, SIAM Conference on Computational Science and Engineering (CSE), Atlanta, United States (2017)
S. Graillat, C. Jeangoudoux, Ch. Lauter : “A Decimal Multiple-Precision Interval Arithmetic Library”, book of abstracts : 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, D. Defour, C. Collange, S. Graillat : “Reproducible and Accurate Matrix Multiplication”, 16th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics n°9553, Lecture Notes of Computer Science, Wurzburg, Germany, pp. 126-137 (2016)
R. Iakymchuk, D. Defour, C. Collange, S. Graillat : “Reproducible Triangular Solvers for High-Performance Computing”, 2015 12th International Conference on Information Technology - New Generations, Las Vegas, NV, United States, pp. 353-358, (IEEE) (2015)
R. Iakymchuk, S. Graillat, C. 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”, Proceedings of the 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Wuerzburg, Germany, pp. 60-61 (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, Russian Federation, 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 Computer Society) (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, (Springer) (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, pp. 2490-2494, (ISBN: 978-0-471-38393-2) (2009)
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, United States, pp. 52-53 (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, United States, pp. 54-54 (2008)
S. Graillat : “Accurate Floating Point Product”, Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, United States, pp. 351-361 (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 : “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)