On the public citation graph
Towards a Compiler for Reals
0 signed · 144 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11757283_8openalex-snapshot
Floating-Point Verification Using Theorem Proving
inferredcites →https://doi.org/10.1007/3-540-45789-5_12openalex-snapshot
Static Analysis of the Numerical Stability of Loops
inferredcites →https://doi.org/10.1007/978-3-319-03542-0_4openalex-snapshot
Robustness Analysis of Finite Precision Implementations
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-540-24725-8_2openalex-snapshot
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
inferredcites →https://doi.org/10.1007/978-3-540-24725-8_4openalex-snapshot
Static Analysis of Digital Filters
inferredcites →https://doi.org/10.1007/978-3-540-30579-8_3openalex-snapshot
The Arithmetic-Geometric Progression Abstract Domain
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-540-89330-1_2openalex-snapshot
A Sound Floating-Point Polyhedra Abstract Domain
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_47openalex-snapshot
The Zonotope Abstract Domain Taylor1+
inferredcites →https://doi.org/10.1007/978-3-642-14203-1_11openalex-snapshot
Multi-Prover Verification of Floating-Point Programs
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_22openalex-snapshot
A Logical Product Approach to Zonotope Intersection
inferredcites →https://doi.org/10.1007/978-3-642-18275-4_17openalex-snapshot
Static Analysis of Finite Precision Computations
inferredcites →https://doi.org/10.1007/978-3-642-31365-3_27openalex-snapshot
Solving Non-linear Arithmetic
inferredcites →https://doi.org/10.1007/978-94-007-1366-6openalex-snapshot
Numerical Methods with Worked Examples: Matlab Edition
inferredcites →https://doi.org/10.1007/s11786-011-0099-9openalex-snapshot
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
inferredcites →https://doi.org/10.1016/j.cpc.2007.01.005openalex-snapshot
Numerical ‘health check’ for scientific codes: the CADNA approach
inferredcites →https://doi.org/10.1016/j.parco.2012.08.002openalex-snapshot
Dynamic floating-point cancellation detection
inferredcites →https://doi.org/10.1017/s0962492906350015openalex-snapshot
Accurate and efficient expression evaluation and linear algebra
inferredcites →https://doi.org/10.1023/b:numa.0000049462.70970.b6openalex-snapshot
Affine Arithmetic: Concepts and Applications
inferredcites →https://doi.org/10.1109/arith.2015.26openalex-snapshot
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
inferredcites →https://doi.org/10.1109/date.2009.5090829openalex-snapshot
Finite Precision bit-width allocation using SAT-Modulo Theory
inferredcites →https://doi.org/10.1109/fccm.2004.59openalex-snapshot
Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs
inferredcites →https://doi.org/10.1109/fmcad.2009.5351141openalex-snapshot
Mixed abstractions for floating-point arithmetic
inferredcites →https://doi.org/10.1109/ieeestd.2008.4610935openalex-snapshot
IEEE Standard for Floating-Point Arithmetic
inferredcites →https://doi.org/10.1109/memcod.2010.5558622openalex-snapshot
Numerical stability analysis of floating-point computations using software model checking
inferredcites →https://doi.org/10.1109/memcod.2010.5558629openalex-snapshot
Systematic testing for control applications
inferredcites →https://doi.org/10.1109/synasc.2013.35openalex-snapshot
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
inferredcites →https://doi.org/10.1109/tcad.2006.873887openalex-snapshot
Accuracy-Guaranteed Bit-Width Optimization
inferredcites →https://doi.org/10.1109/tcad.2006.888291openalex-snapshot
Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment
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/1772954.1772987openalex-snapshot
Towards program optimization through automated analysis of numerical precision
inferredcites →https://doi.org/10.1145/1831708.1831724openalex-snapshot
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability
inferredcites →https://doi.org/10.1145/1879021.1879024openalex-snapshot
Automatic verification of control system implementations
inferredcites →https://doi.org/10.1145/2048066.2048094openalex-snapshot
Trustworthy numerical computation in Scala
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/2464996.2465018openalex-snapshot
Automatically adapting programs for mixed-precision floating-point computation
inferredcites →https://doi.org/10.1145/2555243.2555265openalex-snapshot
Efficient search for inputs causing high floating-point errors
inferredcites →https://doi.org/10.1145/780822.781153openalex-snapshot
A static analyzer for large safety-critical software
inferredcites →https://doi.org/10.1145/781131.781153openalex-snapshot
A static analyzer for large safety-critical software
inferredcites →https://doi.org/10.11578/dc.20210416.14openalex-snapshot
QD: A Double-Double/Quad-Double Package
inferredcites →https://doi.org/10.25405/ncl.34123326openalex-snapshot
Numerical Methods with Worked Examples
inferredcites →https://doi.org/10.4204/eptcs.85.5openalex-snapshot
A non-local method for robustness analysis of floating point programs
inferredcites →https://doi.org/10.48550/arxiv.1402.2991openalex-snapshot
On the maximum relative error when computing x^n in floating-point arithmetic
inferredcites →https://doi.org/10.5555/1874620.1874889openalex-snapshot
Finite precision bit-width allocation using SAT-modulo theory
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.1007/978-3-030-13838-7_10openalex-snapshot
Eliminating Unstable Tests in Floating-Point Programs
inferred← citeshttps://doi.org/10.1007/978-3-030-20656-7_12openalex-snapshot
GPUMixer: Performance-Driven Floating-Point Tuning for GPU Scientific Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_11openalex-snapshot
Sound Approximation of Programs with Elementary Functions
inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_4openalex-snapshot
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions
inferred← citeshttps://doi.org/10.1007/978-3-030-31784-3_17openalex-snapshot
Synthesizing Efficient Low-Precision Kernels
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_18openalex-snapshot
Sound Probabilistic Numerical Error Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-63618-0_12openalex-snapshot
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/978-3-030-65474-0_8openalex-snapshot
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
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-030-72013-1_13openalex-snapshot
Deductive Verification of Floating-Point Java Programs in KeY
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-030-92124-8_25openalex-snapshot
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_2openalex-snapshot
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers
inferred← citeshttps://doi.org/10.1007/978-3-031-21222-2_10openalex-snapshot
Neural Network Precision Tuning Using Stochastic Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_17openalex-snapshot
Scaling up Roundoff Analysis of Functional Data Structure Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-44245-2_4openalex-snapshot
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_21openalex-snapshot
Combining Tools for Optimization and Analysis of Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/s10009-022-00691-xopenalex-snapshot
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
inferred← citeshttps://doi.org/10.1007/s11227-020-03469-7openalex-snapshot
Error detection of arithmetic expressions
inferred← citeshttps://doi.org/10.1016/j.jisa.2025.103989openalex-snapshot
SoK: The design paradigm of safe and secure defaults
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.1016/j.micpro.2022.104679openalex-snapshot
Towards EXtreme scale technologies and accelerators for euROhpc hw/Sw supercomputing applications for exascale: The TEXTAROSSA approach
inferred← citeshttps://doi.org/10.1016/j.softx.2022.101238openalex-snapshot
TAFFO: The compiler-based precision tuner
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.2024.3401831openalex-snapshot
The Impact of Profiling Versus Static Analysis in Precision Tuning
inferred← citeshttps://doi.org/10.1109/arith.2017.36openalex-snapshot
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
inferred← citeshttps://doi.org/10.1109/arith.2019.00014openalex-snapshot
Exchange Algorithm for Evaluation and Approximation Error-Optimized Polynomials
inferred← citeshttps://doi.org/10.1109/ccgrid57682.2023.00062openalex-snapshot
Mixed Precision Based Parallel Optimization of Tensor Mathematical Operations on a New-generation Sunway Processor
inferred← citeshttps://doi.org/10.1109/cgo51591.2021.9370307openalex-snapshot
An Interval Compiler for Sound Floating-Point Computations
inferred← citeshttps://doi.org/10.1109/cgo53902.2022.9741286openalex-snapshot
A Compiler for Sound Floating-Point Computations using Affine Arithmetic
inferred← citeshttps://doi.org/10.1109/cluster.2017.120openalex-snapshot
Thoughtful Precision in Mini-Apps
inferred← citeshttps://doi.org/10.1109/codit55151.2022.9804011openalex-snapshot
Constrained Precision Tuning
inferred← citeshttps://doi.org/10.1109/dac18074.2021.9586303openalex-snapshot
Architecture-aware Precision Tuning with Multiple Number Representation Systems
inferred← citeshttps://doi.org/10.1109/dsd53832.2021.00051openalex-snapshot
TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale
inferred← citeshttps://doi.org/10.1109/iccps.2018.00028openalex-snapshot
Sound Mixed-Precision Optimization with Rewriting
inferred← citeshttps://doi.org/10.1109/iiswc47752.2019.9042137openalex-snapshot
Characterizing the Performance/Accuracy Tradeoff of High-Precision Applications via Auto-tuning
inferred← citeshttps://doi.org/10.1109/ispass48437.2020.00048openalex-snapshot
A Loop-Aware Autotuner for High-Precision Floating-Point Applications
inferred← citeshttps://doi.org/10.1109/issre62328.2024.00018openalex-snapshot
Detecting Numerical Deviations in Deep Learning Models Introduced by the TVM Compiler
inferred← citeshttps://doi.org/10.1109/les.2019.2913774openalex-snapshot
TAFFO: Tuning Assistant for Floating to Fixed Point Optimization
inferred← citeshttps://doi.org/10.1109/ojcas.2025.3580744openalex-snapshot
Automated Fixed-Point Precision Optimization for FPGA Synthesis
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/sc.2018.00051openalex-snapshot
ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning
inferred← citeshttps://doi.org/10.1109/static66697.2025.00006openalex-snapshot
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis
inferred← citeshttps://doi.org/10.1109/tc.2018.2851235openalex-snapshot
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
inferred← citeshttps://doi.org/10.1109/tcad.2018.2857320openalex-snapshot
Discrete Choice in the Presence of Numerical Uncertainties
inferred← citeshttps://doi.org/10.1109/tetc.2021.3070422openalex-snapshot
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes
inferred← citeshttps://doi.org/10.1145/3009837.3009846openalex-snapshot
Rigorous floating-point mixed-precision tuning
inferred← citeshttps://doi.org/10.1145/3230733openalex-snapshot
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
inferred← citeshttps://doi.org/10.1145/3310273.3323424openalex-snapshot
Fixed point exploitation via compiler analyses and transformations
inferred← citeshttps://doi.org/10.1145/3314221.3314597openalex-snapshot
Compiling KB-sized machine learning models to tiny IoT devices
inferred← citeshttps://doi.org/10.1145/3314221.3314632openalex-snapshot
Effective floating-point analysis via weak-distance minimization
inferred← citeshttps://doi.org/10.1145/3381039openalex-snapshot
Tools for Reduced Precision Computation
inferred← citeshttps://doi.org/10.1145/3387902.3392615openalex-snapshot
Combining learning and optimization for transprecision computing
inferred← citeshttps://doi.org/10.1145/3388785openalex-snapshot
Dynamic Precision Autotuning with TAFFO
inferred← citeshttps://doi.org/10.1145/3410875openalex-snapshot
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
inferred← citeshttps://doi.org/10.1145/3477012openalex-snapshot
Regime Inference for Sound Floating-Point Optimizations
inferred← citeshttps://doi.org/10.1145/3498718openalex-snapshot
A dual number abstraction for static analysis of Clarke Jacobians
inferred← citeshttps://doi.org/10.1145/3520313.3534655openalex-snapshot
BinFPE: accurate floating-point exception detection for GPU applications
inferred← citeshttps://doi.org/10.1145/3524051openalex-snapshot
Tight Error Analysis in Fixed-point Arithmetic
inferred← citeshttps://doi.org/10.1145/3589610.3596278openalex-snapshot
MinUn: Accurate ML Inference on Microcontrollers
inferred← citeshttps://doi.org/10.1145/3627535.3638484openalex-snapshot
A Holistic Approach to Automatic Mixed-Precision Code Generation and Tuning for Affine Programs
inferred← citeshttps://doi.org/10.1145/3656456openalex-snapshot
Numerical Fuzz: A Type System for Rounding Error Analysis
inferred← citeshttps://doi.org/10.1145/3689609.3689997openalex-snapshot
A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
inferred← citeshttps://doi.org/10.1145/3711683openalex-snapshot
Approximate Computing Survey, Part II: Application-Specific & Architectural Approximation Techniques and Applications
inferred← citeshttps://doi.org/10.1145/3716845openalex-snapshot
Approximate Computing Survey, Part I: Terminology and Software & Hardware Approximation Techniques
inferred← citeshttps://doi.org/10.1145/3721145.3725741openalex-snapshot
SYprox: Combining Host and Device Perforation with Mixed Precision Approximation on Heterogeneous Architectures
inferred← citeshttps://doi.org/10.1145/3721145.3730432openalex-snapshot
Light-FP: Analyze Floating-Point Error in a Highly Condensed Approach
inferred← citeshttps://doi.org/10.1145/3729324openalex-snapshot
Bean: A Language for Backward Error Analysis
inferred← citeshttps://doi.org/10.1145/3770066openalex-snapshot
An Exchange Algorithm for Optimizing Both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations
inferred← citeshttps://doi.org/10.1145/3777911.3801102openalex-snapshot
A Taxonomy of Application Properties for Mixed-Precision Autotuning (Position Paper)
inferred← citeshttps://doi.org/10.17760/d20401823openalex-snapshot
Preserving numerical program properties under computing uncertainties
inferred← citeshttps://doi.org/10.23919/date56975.2023.10137092openalex-snapshot
Hardware and Software Support for Mixed Precision Computing: a Roadmap for Embedded and HPC Systems
inferred← citeshttps://doi.org/10.23919/ecc57647.2023.10178283openalex-snapshot
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic
inferred← citeshttps://doi.org/10.23919/fmcad.2017.8102236openalex-snapshot
On sound relative error bounds for floating-point arithmetic
inferred← citeshttps://doi.org/10.23919/fmcad.2018.8603019openalex-snapshot
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
inferred← citeshttps://doi.org/10.23919/isc.2026.11520490openalex-snapshot
RLTuner: Floating-Point Precision Tuning Using Deep Reinforcement Learning
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25cdcopenalex-snapshot
Deductive Verification of Floating-Point Java Programs in KeY
inferred← citeshttps://doi.org/10.3390/app13063667openalex-snapshot
Transpilers: A Systematic Mapping Review of Their Usage in Research and Industry
inferred← citeshttps://doi.org/10.48550/arxiv.1804.09241openalex-snapshot
A Hardware Platform for Efficient Multi-Modal Sensing with Adaptive Approximation
inferred← citeshttps://doi.org/10.48550/arxiv.1808.04289openalex-snapshot
Eliminating Unstable Tests in Floating-Point Programs
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.2004.04359openalex-snapshot
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
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/92f81995z9354z4895zaa41zbeb79914d44aopenalex-snapshot
Elementary functions : towards automatically generated, efficient, and vectorizable implementations
inferred← citeshttps://doi.org/10.70675/acaf214bz951ez4360za718z0aba8b1bb53fopenalex-snapshot
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle
inferred← citeshttps://doi.org/10.70675/d357297fzb90az40aezad7azae2b17ff34ffopenalex-snapshot
Fast and efficient bit-level precision tuning
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.