Team Proval

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Overall Objectives

Highlights of the year

As part of the CerPAN and FOST projects, S. Boldo studied a real-life program computing the discretization of the spread of acoustic waves on a rope. She developed an appropriate technique to bound the rounding error due to the floating-point approximations of the computed values. As the naive approach fails, she provided a precise but complex analytical expression of the rounding error that gives a very good bound on the rounding error of the program. An article describing this application and this technique has been published in the very selective conference ICALP (36th International Colloquium on Automata, Languages and Programming) [19] .


Logo Inria