Cindy Rubio Gonzalez
2017 Hellman Fellow
Assistant Professor, Engineering
Project Title: A large-scale study of bugs in numerical software
Project Description: The use of numerical software has grown rapidly over the past few years. From computer games to safety-critical systems, a large variety of applications today make heavy use of floating point. Unfortunately, floating point introduces imprecision in numerical calculations. Numerical errors can lead to catastrophic failures. This project aims at conducting a large scale study of bugs in real-world numerical software to propose a categorization of bugs and their fixes. The categorization will be used to guide the development of program analysis tools to automatically find and fix serious numerical bugs, and thus, improve the reliability of numerical software.