[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Testing floating point optimizations with CSmith



Jacek,

> My research project for the summer is to use CSmith to test floating point optimizations in C compilers. The general idea is to use interval arithmetics to obtain ranges of where each float variable should fall into. Running the program in float_test mode would give us the interval, while running it in the normal mode would give us the actual value. Then we just need to see if the value lies inside the interval.

A popular subject at the moment.

You may or may not have read the following:

Programming with Numerical Uncertainties
Eva DARULOVÁ

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei

A Dynamic Analysis for Tuning Floating-Point Precision
Cuong Nguyen

Automatically Improving Accuracy for Floating Point Expressions
Pavel Panchekha Alex Sachez-Stern James R. Wilcox Zachary Tatlock


--
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com