A new categorical framework and automated tool synthesize sound backward error bounds for a broad class of numerical programs including those with variable reuse.
Connolly, Nicholas J
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Mixed-precision SSA with stochastic rounding preserves ensemble statistics across five biological models while cutting memory use by 2-4x and delivering up to 1.5x CPU speedup.
citing papers explorer
-
Synthesizing Backward Error Bounds, Backward
A new categorical framework and automated tool synthesize sound backward error bounds for a broad class of numerical programs including those with variable reuse.
-
Reduced-Precision Stochastic Simulation for Mathematical Biology
Mixed-precision SSA with stochastic rounding preserves ensemble statistics across five biological models while cutting memory use by 2-4x and delivering up to 1.5x CPU speedup.