On the public citation graph

Regime Inference for Sound Floating-Point Optimizations

https://doi.org/10.1145/3477012
0 signed · 46 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-030-25543-5_11openalex-snapshot
Sound Approximation of Programs with Elementary Functions
inferredcites →https://doi.org/10.1007/978-3-030-30942-8_4openalex-snapshot
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions
inferredcites →https://doi.org/10.1007/978-3-030-31784-3_17openalex-snapshot
Synthesizing Efficient Low-Precision Kernels
inferredcites →https://doi.org/10.1007/978-3-030-58475-7_37openalex-snapshot
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors
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.1007/978-3-319-54292-8_6openalex-snapshot
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
inferredcites →https://doi.org/10.1007/978-3-319-66266-4_14openalex-snapshot
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
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-79707-4_3openalex-snapshot
Static Analysis of the Accuracy in Control Systems: Principles and Experiments
inferredcites →https://doi.org/10.1016/j.jocs.2019.07.004openalex-snapshot
Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic
inferredcites →https://doi.org/10.1109/acssc.2014.7094664openalex-snapshot
A domain splitting algorithm for the mathematical functions code generator
inferredcites →https://doi.org/10.1109/aspdac.2017.7858297openalex-snapshot
Efficient floating point precision tuning for approximate computing
inferredcites →https://doi.org/10.1109/iccps.2018.00028openalex-snapshot
Sound Mixed-Precision Optimization with Rewriting
inferredcites →https://doi.org/10.1109/icse.2019.00116openalex-snapshot
Global Optimization of Numerical Programs Via Prioritized Stochastic Algebraic Transformations
inferredcites →https://doi.org/10.1109/prdc.2013.44openalex-snapshot
Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication
inferredcites →https://doi.org/10.1109/sc.2018.00051openalex-snapshot
ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning
inferredcites →https://doi.org/10.1109/sc41405.2020.00055openalex-snapshot
Scalable yet Rigorous Floating-Point Error Analysis
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/1879021.1879024openalex-snapshot
Automatic verification of control system implementations
inferredcites →https://doi.org/10.1145/2503210.2503296openalex-snapshot
Precimonious
inferredcites →https://doi.org/10.1145/2594291.2594302openalex-snapshot
Stochastic optimization of floating-point programs with tunable precision
inferredcites →https://doi.org/10.1145/2714064.2660231openalex-snapshot
Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels
inferredcites →https://doi.org/10.1145/2737924.2737959openalex-snapshot
Automatically improving accuracy for floating point expressions
inferredcites →https://doi.org/10.1145/2908080.2908107openalex-snapshot
Verifying bit-manipulations of floating-point
inferredcites →https://doi.org/10.1145/3009837.3009846openalex-snapshot
Rigorous floating-point mixed-precision tuning
inferredcites →https://doi.org/10.1145/3014426openalex-snapshot
Towards a Compiler for Reals
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/3290369openalex-snapshot
Efficient automated repair of high floating-point errors in numerical libraries
inferredcites →https://doi.org/10.1145/3330345.3330360openalex-snapshot
AMPT-GA
inferredcites →https://doi.org/10.1145/3385412.3386037openalex-snapshot
Towards an API for the real numbers
inferredcites →https://doi.org/10.1177/1094342016652462openalex-snapshot
Fine-grained floating-point precision analysis
inferredcites →https://doi.org/10.14529/jsfi170206openalex-snapshot
Beating Floating Point at its Own Game: Posit Arithmetic
inferredcites →https://doi.org/10.23919/date.2018.8342167openalex-snapshot
A transprecision floating-point platform for ultra-low power computing
inferredcites →https://doi.org/10.5220/0006915501850194openalex-snapshot
Mixed Precision Tuning with Salsa
inferredcites →https://doi.org/10.5555/1946284.1946301openalex-snapshot
Static analysis of finite precision computations
inferredcites →https://doi.org/10.5555/2555754.2555776openalex-snapshot
Synthesis of fixed-point programs

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-99524-9_16openalex-snapshot
Inferring Interval-Valued Floating-Point Preconditions
inferred← citeshttps://doi.org/10.1007/978-981-96-0092-2_11openalex-snapshot
Single-Precision Floating-Point Adder Based on IEEE 754 Standard Through Verilog
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/ichci67614.2025.11291818openalex-snapshot
TC-FC: Two-Stage Chebyshev-Based Floating-Point Error Compensation
inferred← citeshttps://doi.org/10.1109/scw63240.2024.00026openalex-snapshot
Toward Automated Precision Tuning of Weather and Climate Models: A Case Study
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.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/3763137openalex-snapshot
Cost of Soundness in Mixed-Precision Tuning
inferred← citeshttps://doi.org/10.1145/3804601.3804637openalex-snapshot
Floating-Point Expression Precision Optimization Method Based on Genetic Algorithms and Expression Rewriting
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.