Work

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis

Year: 2025

Type: conference-paper

DOI: 10.1109/static66697.2025.00006

Authors: Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan

Institution: University of Utah

Language: English

Topic: Numerical Methods and Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411688932

FWCI: 1.873

Cites: 17

Cited by: 1

Related to: 10