Thèses
- Elementary functions: towards automatically generated, efficient, and vectorizable implementations, Hugues DE LASSUS SAINT-GENIES, Université de Perpignan Via Domitia, 17 mai 2018
- How to improve the numerical reproducibility of hydrodynamics simulations: analysis and solutions for one open-source HPC software, Rafife NHEILI, Université de Perpignan Via Domitia, 7 décembre 2016
- Tools for the Design of Reliable and Efficient Function Evaluation Libraries. Serge TORRES, Université de Lyon - ENS de Lyon, 22 septembre 2016
- Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks, Mohamed Amine NAJAHI, Université de Perpignan Via Domitia, 10 décembre 2014
- Theoretical Study and Hardware Implementation of Arithmetical Units in Residue Number System for Elliptic Curve Cryptography, Karim BIGOU, Université Rennes 1 - IRISA, 3 novembre 2014
- La synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE-754. Laurent THEVENOUX, Université de Perpignan Via Domitia, 4 juillet 2014
- La validation numérique des codes de calcul industriels. Séthy A. MONTAN, Université Pierre et Marie Curie, 25 octobre 2013
- Conception et implantation d'algorithmes efficaces pour la résolution du dilemme du fabricant de tables sur architectures parallèles. Mourad GOUICEM, Université Pierre et Marie Curie, 14 octobre 2013
- Unités arithmétiques reconfigurables pour cryptoprocesseurs robustes aux attaques, Thomas CHABRIER, Université Rennes 1 - IRISA, 18 juin 2013
- Opérateurs arithmétiques sur GF(2^m) : étude de compromis performances - consommation - sécurité, Danuta PAMULA, Université Rennes 1 - IRISA - Université Gliwice Pologne, 17 décembre 2012
- Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection. Jingyan JOURDAN-LU, Université de Lyon - ENS de Lyon, 15 novembre 2012
HDR
- Multiplication in finite fields and elliptic curves. Christophe Nègre, Université de Montpellier, 23 juin 2016
- Contributions au calcul sur GPU: considérations arithmétiques et architecturales. David Defour, Université de Perpignan Via Domitia, 31 octobre 2014
- Deductive Formal Verification: How To Make Your Floating-Point Programs Behave. Sylvie Boldo, Université Paris-Sud, 6 octobre 2014
- Amélioration de la performance et de la qualité numérique du logiciel de calcul industriel. Christophe DENIS, Université de Perpignan Via Domitia, 4 juillet 2014
- Contribution à l'amélioration de la précision et à la validation des algorithmes numériques. Stef GRAILLAT, Université Pierre et Marie Curie, 2 décembre 2013
- Static Analysis of Numerical Programs and Systems. Sylvie PUTOT, Université Paris Sud, 13 décembre 2012