Cindy Rubio Gonzalez

2017 Hellman Fellow

crubio@ucdavis.edu

Assistant Professor, Engineering
UC Davis

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.