L’équipe DALI développe une thématique de recherche unifiée afin d’améliorer la qualité numérique et la haute performance des calculs. DALI permet l’interaction, rare en France au sein d’une même équipe, d’experts en micro-architecture et en arithmétique des ordinateurs.
Côté performances, nos travaux portent sur l’exploitation du potentiel de calcul toujours croissant des processeurs : élargissement des chemins (micro-architecture vectorielle), multiplication des cœurs (parallélisme de tâches), augmentation du parallélisme d’instructions. Côté arithmétique, la qualité numérique des applications de calcul scientifique et la sûreté de fonctionnement d’applications embarquées dépendent crucialement de la maîtrise de la précision finie et de l’arithmétique flottante en particulier. Il s’agit de contrôler et certifier les calculs (algorithmes, codes) mais aussi d’optimiser la précision des résultats. De nombreux logiciels, scientifiques ou embarqués, nécessitent d’améliorer la qualité numérique sans pour autant sacrifier la rapidité d’exécution. Ainsi se rejoignent amélioration de la performance et de la qualité numérique.
Permanents
Guillaume Revy, Maître de conférences, UPVD
David Parello, Maître de conférences, UPVD
Sylvia Munoz, Technicien, UPVD
Philippe Langlois, Professeur des universités, UPVD
Christophe Negre, Maître de conférences, UPVD
Vincent Zucca, Maître de conférences, UPVD
Doctorants
Youssef Fakhreddine, UPVD
Kenelm Louetsi, UPVD
Autres personnels
Nadia Tahri Roe, CDD Ingénieur-Technicien, UPVD
Bernard Goossens, Invité longue durée Eméritat, UPVD
L’équipe DALI développe une thématique de recherche unifiée afin d’améliorer la qualité numérique et la haute performance des calculs. DALI permet l’interaction de chercheurs spécialisés en micro-architecture et en arithmétique des ordinateurs.
Côté performances, nos travaux portent sur l’exploitation du potentiel de calcul toujours croissant des processeurs : élargissement des chemins (micro-architecture vectorielle), multiplication des cœurs (parallélisme de tâches), augmentation du parallélisme d’instructions.
Côté arithmétique, la qualité numérique des applications de calcul scientifique ou des applications embarquées dépend crucialement de la maîtrise des effets de la précision finie et de l’arithmétique flottante en particulier. Il s’agit de contrôler et certifier les calculs (algorithmes, codes) mais aussi d’optimiser la précision des traitements. De nombreux logiciels, scientifiques ou embarqués, nécessitent d’améliorer la qualité numérique sans pour autant sacrifier la rapidité d’exécution ou le coût énergétique.
Ainsi se rejoignent amélioration de la performance et de la qualité numérique.
Partenaires industriels : Actility, Airbus, Inpixal, Prover, Rockwell-Collins, Thales, Total.
Projets collaboratifs : ANR Blanc EvaFlo (2006-2010), Projet DPAC MASSANE (2007-2010), ANR ARPEGE (2009-2011), Projet FNRAE SARDANES (2009-2012), Projet Chercheur d’avenir Compil’HD (2010-2012), ANR INS DEFIS (2011-2014), ANR INS CAFEIN (2012-2015), PEPS QUARENUM (2013).
Collaborations nationales : CEA-LIST, ENSTA, EXASCALE, IRISA, LIENS, LIP, LIP6, LRI, LSIS, ONERA.
Collaborations internationales : Universitat de Girona, Technical University Hamburg, University of Malaysia Sabah, Mississippi State University, Microsoft Research Redmond, Rice University, Tokyo WCU, University of Waterloo (Canada), University of Wollongong, University of Waseda.
Titre : Un environnement de développement dapplications sur un processeur à beaucoup de curs parallélisant
Doctorant : Kenelm Louetsi
Date de soutenance : 2024-12-12
Directeur de thèse :
Christophe Negre
Titre : Fonctions élémentaires : vers des implémentations automatiquement générées, efficaces et vectorisables
Doctorant : Hugues De Lassus Saint-Geniès
Date de soutenance : 2018-05-17
Directeurs de thèse :
David Defour,
Guillaume Revy
Titre : Contribution à la parallélisation automatique : un modèle de processeur à beaucoup de curs parallélisant.
Doctorant : Katarzyna Porada
Date de soutenance : 2017-11-02
Directeurs de thèse :
Gilles Sassatelli,
Bernard Goossens