A Cross-Platform Benchmark for Interval Computation Libraries

Xuan Tang, Zachary Ferguson, Teseo Schneider, Denis Zorin, Shoaib Kamil, Daniele Panozzo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Interval computation is widely used in Computer Aided Design 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 for different CAD applications. 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.

Original languageEnglish (US)
Title of host publicationParallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Revised Selected Papers
EditorsRoman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski
PublisherSpringer Science and Business Media Deutschland GmbH
Pages415-427
Number of pages13
ISBN (Print)9783031304446
DOIs
StatePublished - 2023
Event14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022 - Gdansk, Poland
Duration: Sep 11 2022Sep 14 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13827 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022
Country/TerritoryPoland
CityGdansk
Period9/11/229/14/22

Keywords

  • Benchmark
  • Certified Computations
  • Collision Detection
  • Interval Arithmetic
  • Open-Source Library
  • Robust Computation
  • Transcendental Functions

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'A Cross-Platform Benchmark for Interval Computation Libraries'. Together they form a unique fingerprint.

Cite this