FPBench Community meeting this Thursday
Ian Briggs
Howdy folks!
ThisThursday, September 5th at 9:00-10:00 AM pacific time, will be the next FPBench Community Meeting.
If you are searching for the Zoom link, look no further: https://washington.zoom.us/j/92831331326
We are glad to welcome Ariel Kellison to present on precision tuning.
In her own words:
A central challenge in scientific computing is managing the tradeoff between accuracy and performance. Scientific applications often require high precision to produce meaningful results, but achieving this precision can reduce computational speed and efficiency. For example, using higher precision arithmetic can minimize rounding errors and improve the reliability of results, but it typically demands more processing power and memory, which negatively affects performance. As a result, scientific software developers must carefully balance the need for accuracy with the need for acceptable performance.
In recent years, programming languages like Rust have demonstrated how carefully designed type systems can help developers write high-performance code while ensuring critical properties, such as memory safety. In this talk, we will present our work on designing type systems that provide guarantees about the accuracy of floating-point computations. By introducing types that can quantitatively represent the error bounds of floating-point computations, we can create statically typed programming languages that alert developers to potentially significant inaccuracies early in the development process.
We look forward to seeing everyone!
As a reminder, if you would like to give a talk or know of someone that would be great for an FPBench Community meeting, please have them fill out the speaker suggestion form! Thanks,