Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)
No abstract available.
Related papers
- Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation CGO 2026
- OpenQudit: Extensible and Accelerated Numerical Quantum Compilation via a JIT-Compiled DSL CGO 2026
- Making numerical program analysis fast PLDI 2015
- Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters CC 2026
- A Generic Framework for Interprocedural Analysis of Numerical Properties SAS 2005
- Towards program optimization through automated analysis of numerical precision CGO 2010
- Synthesizing Backward Error Bounds, Backward PLDI 2026
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013