On the public citation graph

Detecting floating-point errors via atomic conditions

https://doi.org/10.1145/3371128
0 signed · 75 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-319-19249-9_33openalex-snapshot
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
inferredcites →https://doi.org/10.1109/apsec.2017.7openalex-snapshot
Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies
inferredcites →https://doi.org/10.1109/arith.2009.31openalex-snapshot
Decimal Transcendentals via Binary
inferredcites →https://doi.org/10.1109/icse.2015.70openalex-snapshot
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
inferredcites →https://doi.org/10.1109/icse.2019.00107openalex-snapshot
CRADLE: Cross-Backend Validation to Detect and Localize Bugs in Deep Learning Libraries
inferredcites →https://doi.org/10.1109/ieeestd.2008.4610935openalex-snapshot
IEEE Standard for Floating-Point Arithmetic
inferredcites →https://doi.org/10.1137/0701008openalex-snapshot
A Precision Approximation of the Gamma Function
inferredcites →https://doi.org/10.1137/1.9780898718027openalex-snapshot
Accuracy and Stability of Numerical Algorithms
inferredcites →https://doi.org/10.1145/103162.103163openalex-snapshot
What every computer scientist should know about floating-point arithmetic
inferredcites →https://doi.org/10.1145/1236463.1236468openalex-snapshot
MPFR
inferredcites →https://doi.org/10.1145/1250734.1250746openalex-snapshot
Valgrind
inferredcites →https://doi.org/10.1145/2254064.2254118openalex-snapshot
A dynamic program analysis to find floating-point accuracy problems
inferredcites →https://doi.org/10.1145/2429069.2429133openalex-snapshot
Automatic detection of floating-point exceptions
inferredcites →https://doi.org/10.1145/2509136.2509526openalex-snapshot
On-the-fly detection of instability problems in floating-point program execution
inferredcites →https://doi.org/10.1145/2555243.2555265openalex-snapshot
Efficient search for inputs causing high floating-point errors
inferredcites →https://doi.org/10.1145/2737924.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/2814270.2814317openalex-snapshot
Automated backward error analysis for numerical code
inferredcites →https://doi.org/10.1145/2908080.2908107openalex-snapshot
Verifying bit-manipulations of floating-point
inferredcites →https://doi.org/10.1145/2950290.2950355openalex-snapshot
Detecting and fixing precision-specific operations for measuring floating-point errors
inferredcites →https://doi.org/10.1145/3192366.3192411openalex-snapshot
Finding root causes of floating point error
inferredcites →https://doi.org/10.1145/3230733openalex-snapshot
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
inferredcites →https://doi.org/10.1145/3236024.3236057openalex-snapshot
Testing probabilistic programming systems
inferredcites →https://doi.org/10.1145/3290369openalex-snapshot
Efficient automated repair of high floating-point errors in numerical libraries
inferredcites →https://doi.org/10.1145/502102.502106openalex-snapshot
Interval arithmetic
inferredcites →https://doi.org/10.1201/9781482268713openalex-snapshot
Evolutionary Computation 1
inferredcites →https://doi.org/10.1887/0750306645openalex-snapshot
Evolutionary Computation 1
inferredcites →https://doi.org/10.23919/fmcad.2017.8102236openalex-snapshot
On sound relative error bounds for floating-point arithmetic
inferredcites →https://doi.org/10.5281/zenodo.1476881openalex-snapshot
mpmath: a Python library for arbitrary-precision floating-point arithmetic
inferredcites →https://doi.org/10.5555/1946284.1946301openalex-snapshot
Static analysis of finite precision computations
inferredcites →https://doi.org/10.5860/choice.34-0981openalex-snapshot
Accuracy and stability of numerical algorithms

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4797965openalex-extracted
Symbolic Testing of Floating-Point Bugs
inferred← citeshttps://doi.org/10.1007/978-3-030-72013-1_3openalex-snapshot
A Two-Phase Approach for Conditional Floating-Point Verification
inferred← citeshttps://doi.org/10.1007/978-3-032-30693-7_12openalex-snapshot
RealSanitizer: Detecting Floating-Point Errors via a Dynamic Precision Oracle
inferred← citeshttps://doi.org/10.1007/s11227-023-05523-6openalex-snapshot
Hierarchical search algorithm for error detection in floating-point arithmetic expressions
inferred← citeshttps://doi.org/10.1007/s42514-025-00214-5openalex-snapshot
An empirical study of error-free transformations for enhancing mathematical function precision
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112226openalex-snapshot
Symbolic testing of floating-point bugs and exceptions
inferred← citeshttps://doi.org/10.1049/2023/6681267openalex-snapshot
Detecting Floating‐Point Expression Errors Based Improved PSO Algorithm
inferred← citeshttps://doi.org/10.1109/access.2025.3557505openalex-snapshot
An Effective Genetic Algorithm for Mixed Precision
inferred← citeshttps://doi.org/10.1109/apsec57359.2022.00046openalex-snapshot
NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs
inferred← citeshttps://doi.org/10.1109/apsec57359.2022.00052openalex-snapshot
Detecting High Floating-Point Errors via Ranking Analysis
inferred← citeshttps://doi.org/10.1109/apsec60848.2023.00043openalex-snapshot
AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain
inferred← citeshttps://doi.org/10.1109/arith51176.2021.00014openalex-snapshot
Tagged error: tracing numerical error through computations
inferred← citeshttps://doi.org/10.1109/arith64983.2025.00025openalex-snapshot
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00139openalex-snapshot
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00016openalex-snapshot
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs
inferred← citeshttps://doi.org/10.1109/ipdps64566.2025.00113openalex-snapshot
Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs
inferred← citeshttps://doi.org/10.1109/jcc72984.2026.00064openalex-snapshot
SNIPER: Structural Navigation via Intelligent Policy for Floating-Point Error Revelation
inferred← citeshttps://doi.org/10.1109/qrs65678.2025.00047openalex-snapshot
Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search
inferred← citeshttps://doi.org/10.1109/saner56733.2023.00030openalex-snapshot
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability
inferred← citeshttps://doi.org/10.1109/scw63240.2024.00027openalex-snapshot
Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
inferred← citeshttps://doi.org/10.1109/tr.2024.3492380openalex-snapshot
What Causes Bugs in Numerical Simulation Software? An Empirical Study
inferred← citeshttps://doi.org/10.1109/tse.2026.3703362openalex-snapshot
ICE: Reducing Search Space for Error-Inducing Input Detection
inferred← citeshttps://doi.org/10.1145/3395363.3397382openalex-snapshot
Testing high performance numerical simulation programs: experience, lessons learned, and open issues
inferred← citeshttps://doi.org/10.1145/3434310openalex-snapshot
An approach to generate correctly rounded math libraries for new floating point variants
inferred← citeshttps://doi.org/10.1145/3453483.3454049openalex-snapshot
High performance correctly rounded math libraries for 32-bit floating point representations
inferred← citeshttps://doi.org/10.1145/3460319.3464808openalex-snapshot
Interval constraint-based mutation testing of numerical specifications
inferred← citeshttps://doi.org/10.1145/3468264.3468585openalex-snapshot
Parallel shadow execution to accelerate the debugging of numerical errors
inferred← citeshttps://doi.org/10.1145/3498664openalex-snapshot
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes
inferred← citeshttps://doi.org/10.1145/3563322openalex-snapshot
Oracle-free repair synthesis for floating-point programs
inferred← citeshttps://doi.org/10.1145/3563353openalex-snapshot
Fast shadow execution for debugging numerical errors using error free transformations
inferred← citeshttps://doi.org/10.1145/3650200.3656618openalex-snapshot
Input Range Generation for Compiler-Induced Numerical Inconsistencies
inferred← citeshttps://doi.org/10.1145/3650212.3680378openalex-snapshot
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
inferred← citeshttps://doi.org/10.1145/3689764openalex-snapshot
FPCC: Detecting Floating-Point Errors via Chain Conditions
inferred← citeshttps://doi.org/10.1145/3728950openalex-snapshot
An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
inferred← citeshttps://doi.org/10.1145/3729332openalex-snapshot
Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
inferred← citeshttps://doi.org/10.1145/3763137openalex-snapshot
Cost of Soundness in Mixed-Precision Tuning
inferred← citeshttps://doi.org/10.1145/3773992openalex-snapshot
A Study of Floating-Point Precision Tuning in Deep Learning Operators Implementations
inferred← citeshttps://doi.org/10.1145/3832291openalex-snapshot
Mathematically-Guided Detection of Floating-Point Errors
inferred← citeshttps://doi.org/10.2514/6.2026-2518openalex-snapshot
Hardware-Agnostic Compact Difference Schemes in C++/Kokkos for High-Order CFD
inferred← citeshttps://doi.org/10.48550/arxiv.2108.06756openalex-snapshot
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes
inferred← citeshttps://doi.org/10.48550/arxiv.2111.12852openalex-snapshot
RLIBM-PROG: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
inferred← citeshttps://doi.org/10.70675/51b1c8b1zd4c6z440dz8a74z0de4062a90b2openalex-snapshot
Gestion du compromis entre la performance et la précision de code de calcul
inferred← citeshttps://doi.org/10.70675/56469ad9zdcddz4491z93eez3cf5ab6ee35fopenalex-snapshot
Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation par contraintes
inferred← citeshttps://doi.org/10.70675/8cf8b26fz5603z4b78za4b9zd8171c8b983aopenalex-snapshot
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique
inferred← citeshttps://doi.org/10.7282/t3-z898-ft43openalex-snapshot
A novel approach to generate correctly rounded math libraries for new floating point representations
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.