La quatorzième session de "Demandez le programme!" se tiendra le mardi 17 octobre de 13h à 14h dans la salle Gilles Kahn (bâtiment Turing) et sera animée par François Févotte (ingénieur chercheur EDF).

L’outil Verrou vise à faciliter le diagnostic et la correction des erreurs de calcul dans les outils de simulation industriels. Ces erreurs, dues aux propriétés de l’arithmétique flottante, peuvent être détectées et quantifiées grâce à l’Arithmétique en Arrondi Aléatoire. Verrou utilise cette arithmétique pour instrumenter les codes de calcul sans avoir besoin de les recompiler. Des fonctionnalités plus avancées permettent aussi de localiser dans le code source l’origine des erreurs, facilitant ainsi le débogage numérique.

La présentation peut être trouvée ici; les fichiers nécessaires pour refaire la démonstration de l'utilisation de Verrou dans le cas de la petite fonction de calcul d'intégrale sont les mêmes que ceux utilisés dans un TP organisé dans le cadre de l'école PRECIS.