Florent de Dinechin cherche

[Page d'index] [Enseignements] [Pages perso]

[To the english side: Florent de Dinechin's research interests]

Thèmes de recherche actuels

Ma recherche à l'Ecole Normale Supérieure de Lyon se place actuellement dans la thématique de l'équipe Arénaire du LIP. Consultez ces liens pour en avoir un aperçu.

Voici mes principaux sujets de recherche:

L'arithmétique des ordinateurs et des circuits reconfigurables (ou FPGA). Mon projet actuel s'appelle FloPoCo, c'est un générateur de coeurs arithmétiques en virgule flottante. Il ne s'agit pas d'imiter la virgule flottante des processeurs, mais d'inventer de nouveaux opérateurs qui exploitent au mieux la flexibilité des FPGAs. Nous avons proposé des fonctions élémentaires en virgule flottante: exponentielle en simple précision, logarithme en simple précision, fonctions trigonométriques en simple précision, exponentielle et logarithme en double précision. Nous avons aussi revisité l'accumulateur long de Kulisch dans ce contexte.

Auparavant j'ai travaillé avec Jérémie Detrey (qui a soutenu sa thèse début 2007) sur le projet FPLibrary (remplacé par FloPoCo) pour la virgule flottante et le système logarithmique de représentation des nombres, et sur des méthodes d'évaluation de fonctions en virgule fixe en matériel, comme la méthode multipartite et les méthodes à petits multiplieurs. Nous avons utilisé ces méthodes pour concevoir des opérateurs pour le système logarithmique.

Les circuits FPGA pouvant être considérés comme des calculateurs massivement parallèles de granularité très fine (celle du bit), je m'intéresse donc depuis ma thèse à leur utilisation comme accélérateurs de calcul.
L'implémentation en logiciel de fonctions élémentaires avec arrondi correct.
Ce fut le sujet des thèses de David Defour et Christoph Lauter. Nous développons CRLIBM, une bibliothèque mathématique avec arrondi correct. Ces derniers temps, l'accent est mis sur l'automatisation de cette expertise

Cet article décrit les techniques utilisées, avec quelques avancées récentes dans cet article et celui-ci. CRLibm peut également être utilisé pour construire des fonctions élémentaires d'intervalles "parfaites".