Analysis and Synthesis of Floating-Point Routines

Add to your list(s) Download to your calendar using vCal

• Zvonimir Rakamaric (University of Utah)
• Tuesday 27 November 2018, 16:00-17:00
• Denis Gabor Seminar Room, 611.

If you have a question about this talk, please contact George A Constantinides.

Virtually all real-valued computations are carried out using floating-point data types and operations. With the current emphasis of system development often being on computational efficiency, developers as well as compilers are increasingly attempting to optimize floating-point routines. Reasoning about the correctness of these optimizations is complicated, and requires error analysis procedures with different characteristics and trade-offs. In my talk, I will motivate the need for such analyses. Then, I will present both a dynamic and a rigorous static analysis we developed for estimating errors of floating-point routines. Finally, I will describe how we extended our rigorous static analysis into a procedure for mixed-precision tuning of floating-point routines.

Short bio: https://zvonimir.info/download/zvonimir_rakamaric-bio.txt

This talk is part of the CAS Talks series.

This talk is included in these lists:

• Andrea Picciau's list
• CAS Talks
• Circuits and Systems Group: Internal Seminars
• Denis Gabor Seminar Room, 611

Note that ex-directory lists are not shown.