Compared with existing state-of-the-art repair approaches, our work is fully automatic and has the distinctive benefit of not relying on the difficult to obtain high-precision oracles. We leverage micro-structures’ statistical information on floating-point errors to effectively guide repair synthesis and validation. The key of our approach is the novel notion of micro-structure that characterizes structural patterns of floating-point errors. To tackle this challenge, this paper introduces a principled dynamic approach that is fully automated and oracle-free for effectively repairing floating-point errors. It is nontrivial to fix/repair numerical code to reduce numerical errors - it requires either numerical expertise (for manual fixing) or high-precision oracles (for automatic repair) both are difficult requirements. Numerical errors are inherent due to floating-point’s approximate nature, and pose an important, well-known challenge. The floating-point representation provides widely-used data types (such as “float” and “double”) for modern numerical software.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |