A Cross-Platform Benchmark for Interval Computation Libraries
Xuan Tang, Zachary Ferguson, Teseo Schneider, Denis Zorin, Shoaib, Kamil, Daniele Panozzo

TL;DR
This paper introduces the first comprehensive benchmark for interval computation libraries, enabling comparison of correctness and performance across different systems and guiding developers in library selection.
Contribution
It provides a standardized benchmark with reference solutions, facilitating evaluation of interval libraries' accuracy and efficiency across various platforms.
Findings
Identifies limitations in existing interval libraries.
Provides a reliable comparison across architectures and compilers.
Guides developers in choosing suitable interval libraries.
Abstract
Interval computation is widely used to certify computations that use floating point operations to avoid pitfalls related to rounding error introduced by inaccurate operations. Despite its popularity and practical benefits, support for interval arithmetic is not standardized nor available in mainstream programming languages. We propose the first benchmark for interval computations, coupled with reference solutions computed with exact arithmetic, and compare popular C and C++ libraries over different architectures, operating systems, and compilers. The benchmark allows identifying limitations in existing implementations, and provides a reliable guide on which library to use on each system. We believe that our benchmark will be useful for developers of future interval libraries, as a way to test the correctness and performance of their algorithms.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
