CS Seminar

Title: Automated Testing and Precision Tuning of Numerical Software
Seminar: Computer Science
Speaker: Cindy Rubio Gonzalez, UC Davis
Contact: Dr. Dorian Arnold, Dorian.Arnold@emory.edu
Date: 2020-10-16 at 1:00PM
Venue: https://emory.zoom.us/j/92722816908
Download Flyer Add to Calendar
Abstract: Abstract: The use of numerical software has grown rapidly over the past few years, providing the foundation for a large variety of applications including scientific software and machine learning. Given the variety of numerical errors that can occur, floating-point programs are difficult to write, test and debug. One common practice among developers is to use the highest available precision when allocating variables. While more robust, this can degrade program performance significantly. Furthermore, different levels of floating-point precision can lead to numerical inconsistencies that can be difficult to expose and diagnose. In this talk, I will describe our research on developing tools to assist programmers in tuning the precision of their floating-point programs as well as tools for testing numerical programs. I will conclude by discussing remaining challenges and opportunities for scalable precision tuning and testing of HPC applications. Bio:Cindy Rubio-Gonzalez is an Associate Professor of Computer Science at the University of California, Davis. Prior to joining UC Davis, she was a Postdoctoral Researcher in the EECS Department at the University of California, Berkeley. She received her Ph.D. in Computer Science from the University of Wisconsin--Madison in 2012. Her research spans the areas of Programming Languages and Software Engineering, with a focus on program analysis for automated bug finding and program optimization. She is particularly interested in the reliability and performance of systems software and scientific computing applications. Cindy is a recipient of several awards including the DOE Early Career Award, NSF CAREER Award, DOE Better Scientific Software Fellowship, Facebook Testing and Verification Research Award, UC Davis Hellman Fellowship, and UC Davis CAMPOS Faculty Award.

See All Seminars