Projet ANR EVA-Flo : 3ème réunion 8-9 avril 2008, Saclay

Programme

Mardi 8 avril 2008

10h00-10h15 : accueil

10h15-11h30 : Bilan des travaux en cours dans EVA-Flo, Nathalie Revol

11h30-12h30 : Approximation d'une fonction f par des polynômes pour le calcul approché des valeurs successives f(0), f(1),f(2)..., Vincent Lefèvre

12h30-14h00 : déjeuner

14h00-15h00 : discussion

15h00-15h15 : pause

15h15-16h00 : Résoudre et certifier la solution d'un système linéaire, Hong Diep Nguyen

16h00-16h45 : Compensated triangular linear systems solving, Nicolas Louvet

16h45-17h30 : Calcul de la division par des itérations de type Newton-Raphson, Adrien Panhaleux

Mercredi 9 avril 2008

9h30-11h00 : An introduction to static analysis, Eric Goubault

11h00-11h30 : pause

11h30-12h15 : Sollya, logiciel de manipulations numériques pour l'arithméticien, Sylvain Chevillard : démo
cf. l'introduction du manuel de Sollya pour un tutoriel similaire

12h30-14h00 : déjeuner

14h00-14h45 : Sur- et sous-approximations pour l'analyse statique de programmes numériques, Sylvie Putot

14h45-15h15 : Démo de Fluctuat, Eric Goubault

15h15-16h00 : Génération de code modestement orientée objet, Florent de Dinechin

Résumés des présentations

Génération de code modestement orientée objet, exposé de Florent de Dinechin
Cet exposé présentera et discutera les aspects de FloPoCo qui sont relevants à EVA-Flo. FloPoCo est un générateur de VHDL, pas de code pour un processeur, mais outre ce détail mineur, il partage beaucoup des problématiques du projet. Je montrerai comment une approche modeste et pragmatique de l'orientation objet rend plus facile la génération de code et tout ce qui va autour (preuve, vecteur de test, etc).