Prochain Séminaire

A+ A- Aa
Partager cette page :

le 1 octobre 2020

Perpignan

Dorra Ben Khalifa

LAMPS LOGO
Jeudi 1er octobre 2020 à 11h15
Dorra Ben Khalifa
LAMPS, Université de Perpignan Via Domitia
Titre : Evaluation of POP Performances for Tuning Numerical Programs in Floating-Point Arithmetic
 
Résumé : Dans cet exposé, nous présentons notre outil de réglage de précision numérique dans les programmes réalisant des calculs en virgule flottante, appelé POP : Precision OPtimizer. En se basant sur la méthode d’analyse statique par interprétation abstraite, POP détermine la précision minimale sur les entrées et les résultats intermédiaires d’un programme en garantissant une précision souhaitée par l’utilisateur sur les sorties. Notre analyse est exprimée sous forme d’un ensemble de contraintes d’équations linéaires vérifiées par un solveur SMT (Z3). Nous avons expérimenté POP sur des exemples de programmes numériques issues de plusieurs domaines, notamment dans un nouveau domaine d’application, l’Internet des Objets (IoT). Plusieurs résultats expérimentaux ainsi qu’une évaluation des performances de l’outil seront présentés.

 
Thématique(s)
LAMPS
Partager cette page :

Mise à jour le 22 septembre 2020