On the public citation graph

Fast shadow execution for debugging numerical errors using error free transformations

https://doi.org/10.1145/3563353
0 signed · 61 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/3-540-47764-0_14openalex-snapshot
Static Analyses of the Precision of Floating-Point Operations
inferredcites →https://doi.org/10.1007/978-1-4899-7983-4openalex-snapshot
Elementary Functions
inferredcites →https://doi.org/10.1007/978-3-319-73721-8_24openalex-snapshot
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
inferredcites →https://doi.org/10.1007/978-3-319-76526-6openalex-snapshot
Handbook of Floating-Point Arithmetic
inferredcites →https://doi.org/10.1007/978-3-319-89960-2_15openalex-snapshot
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)
inferredcites →https://doi.org/10.1007/978-3-540-74061-2_27openalex-snapshot
Astrée: From Research to Industry
inferredcites →https://doi.org/10.1007/978-3-540-79707-4_3openalex-snapshot
Static Analysis of the Accuracy in Control Systems: Principles and Experiments
inferredcites →https://doi.org/10.1007/978-3-642-27940-9_16openalex-snapshot
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
inferredcites →https://doi.org/10.1007/bf01397083openalex-snapshot
A floating-point technique for extending the available precision
inferredcites →https://doi.org/10.1007/pl00009321openalex-snapshot
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates
inferredcites →https://doi.org/10.1016/j.cpc.2008.02.003openalex-snapshot
CADNA: a library for estimating round-off error propagation
inferredcites →https://doi.org/10.1109/arith.2003.1207663openalex-snapshot
Representable correcting terms for possibly underflowing floating point operations
inferredcites →https://doi.org/10.1109/arith.2018.8464793openalex-snapshot
On Various Ways to Split a Floating-Point Number
inferredcites →https://doi.org/10.1109/sc41405.2020.00055openalex-snapshot
Scalable yet Rigorous Floating-Point Error Analysis
inferredcites →https://doi.org/10.1117/12.505591openalex-snapshot
CR-LIBM: a correctly rounded elementary function library
inferredcites →https://doi.org/10.1137/030601818openalex-snapshot
Accurate Sum and Dot Product
inferredcites →https://doi.org/10.1137/080738490openalex-snapshot
Ultimately Fast Accurate Summation
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/1141277.1141584openalex-snapshot
Assisted verification of elementary functions using Gappa
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/1806651.1806657openalex-snapshot
CETS
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/2535838.2535874openalex-snapshot
Sound compilation of reals
inferredcites →https://doi.org/10.1145/2813885.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/2814270.2814299openalex-snapshot
RAIVE: runtime assessment of floating-point instability by vectorization
inferredcites →https://doi.org/10.1145/3009837.3009846openalex-snapshot
Rigorous floating-point mixed-precision tuning
inferredcites →https://doi.org/10.1145/3054947openalex-snapshot
On the Robustness of the 2Sum and Fast2Sum Algorithms
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/3368089.3409720openalex-snapshot
Detecting numerical bugs in neural network architectures
inferredcites →https://doi.org/10.1145/3369583.3392673openalex-snapshot
Spying on the Floating Point Behavior of Existing, Unmodified Scientific Applications
inferredcites →https://doi.org/10.1145/3371128openalex-snapshot
Detecting floating-point errors via atomic conditions
inferredcites →https://doi.org/10.1145/3385412.3386004openalex-snapshot
Debugging and detecting numerical errors in computation with posits
inferredcites →https://doi.org/10.1145/3434310openalex-snapshot
An approach to generate correctly rounded math libraries for new floating point variants
inferredcites →https://doi.org/10.1145/3453483.3454049openalex-snapshot
High performance correctly rounded math libraries for 32-bit floating point representations
inferredcites →https://doi.org/10.1145/3468264.3468585openalex-snapshot
Parallel shadow execution to accelerate the debugging of numerical errors
inferredcites →https://doi.org/10.1145/3498664openalex-snapshot
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes
inferredcites →https://doi.org/10.1145/3519939.3523447openalex-snapshot
Progressive polynomial approximations for fast correctly rounded math libraries
inferredcites →https://doi.org/10.1145/3563353openalex-snapshot
Fast shadow execution for debugging numerical errors using error free transformations
inferredcites →https://doi.org/10.1145/363707.363723openalex-snapshot
Pracniques: further remarks on reducing truncation errors
inferredcites →https://doi.org/10.13182/nse70-a19705openalex-snapshot
The Art of Computer Programming
inferredcites →https://doi.org/10.2172/1090032openalex-snapshot
LULESH 2.0 Updates and Changes
inferredcites →https://doi.org/10.4230/dagsemproc.05391.3openalex-snapshot
Compensated Horner Scheme
inferredcites →https://doi.org/10.5281/zenodo.7080558openalex-snapshot
Artifact for " Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations"
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.1007/978-3-032-30693-7_12openalex-snapshot
RealSanitizer: Detecting Floating-Point Errors via a Dynamic Precision Oracle
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.1109/apsec65559.2024.00077openalex-snapshot
Efficient Floating-Point Error Detection for Numerical Programs via Error-Free Transformations
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/qrs65678.2025.00047openalex-snapshot
Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search
inferred← citeshttps://doi.org/10.1109/tse.2026.3687867openalex-snapshot
NSGen: A Template-Based Framework to Find Bugs in Computer-Aided Engineering Tools
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/3689764openalex-snapshot
FPCC: Detecting Floating-Point Errors via Chain Conditions
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/3731599.3767479openalex-snapshot
CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations
inferred← citeshttps://doi.org/10.1145/3832291openalex-snapshot
Mathematically-Guided Detection of Floating-Point Errors
showing the first 12 of 13 · page through all 13
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.