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 qui a été le sujet de la thèse de Bogdan Pasca. 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. Il y a de plus en plus d'exemples sur la page de FloPoCo.

FloPoCo est aussi un framework de génération de VHDL qui produit des architectures pipelinées pour une fréquence cible donnée, avec un pipeline correct par construction. FloPoCo produit aussi au kilo des vecteurs de tests pertinents, etc.

Je m'intéresse aussi à l'amélioration de l'arithmétique des ordinateurs plus classiques, par exemple au moyen d'opérateurs à précision mixte mixed-precision dans le processeur Kalray. La thèse de Nicolas Brunie étudie l'intégration d'un accélérateur reconfigurable fortement couplé dans un processeur massivement multicoeur.

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 et la preuve formelle des codes obtenus.

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".