On the public citation graph

Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs

https://doi.org/10.29007/j2fd
0 signed · 28 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 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-030-13838-7_10openalex-snapshot
Eliminating Unstable Tests in Floating-Point Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-46902-3_5openalex-snapshot
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_8openalex-snapshot
Automatic Generation of Guard-Stable Floating-Point Code
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_13openalex-snapshot
Towards Numerical Assistants
inferred← citeshttps://doi.org/10.1007/978-3-030-67067-2_12openalex-snapshot
Runtime Abstract Interpretation for Numerical Accuracy and Robustness
inferred← citeshttps://doi.org/10.1007/978-3-031-71177-0_2openalex-snapshot
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0
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.jocs.2019.07.004openalex-snapshot
Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic
inferred← citeshttps://doi.org/10.1109/apsec57359.2022.00052openalex-snapshot
Detecting High Floating-Point Errors via Ranking Analysis
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/ase63991.2025.00016openalex-snapshot
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395228openalex-snapshot
Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation
inferred← citeshttps://doi.org/10.1109/correctness49594.2019.00008openalex-snapshot
Toward Multi-Precision, Multi-Format Numerics
inferred← citeshttps://doi.org/10.1109/icict52872.2021.00019openalex-snapshot
An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic
inferred← citeshttps://doi.org/10.1109/icsme.2017.45openalex-snapshot
Automated Repair of High Inaccuracies in Numerical Programs
inferred← citeshttps://doi.org/10.1109/iintec48298.2019.9112133openalex-snapshot
Precision Tuning and Internet of Things
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/ladc.2018.00023openalex-snapshot
Method to Detect Floating-Point Absorption and Cancellation Phenomena in Software-Critical Design Models
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.1145/3290369openalex-snapshot
Efficient automated repair of high floating-point errors in numerical libraries
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/3519939.3523452openalex-snapshot
Choosing mathematical function implementations for speed and accuracy
inferred← citeshttps://doi.org/10.1145/3632874openalex-snapshot
Implementation and Synthesis of Math Library Functions
inferred← citeshttps://doi.org/10.1145/3763137openalex-snapshot
Cost of Soundness in Mixed-Precision Tuning
inferred← citeshttps://doi.org/10.23919/isc.2026.11520490openalex-snapshot
RLTuner: Floating-Point Precision Tuning Using Deep Reinforcement Learning
inferred← citeshttps://doi.org/10.48550/arxiv.2001.02981openalex-snapshot
Automatic generation and verification of test-stable floating-point code
inferred← citeshttps://doi.org/10.48550/arxiv.2107.05761openalex-snapshot
Faster Math Functions, Soundly
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.