Euler: A System for Numerical Optimization of Programs
Abstract elided by the publisher.
Related papers
- Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization VMCAI 2023
- Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper) TACAS 2018
- Object-Oriented Programming for Linear Algebra OOPSLA 1989
- An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL PPoPP 1990
- Towards program optimization through automated analysis of numerical precision CGO 2010
- Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters CC 2026
- With a Few Square Roots, Quantum Computing Is as Easy as Pi POPL 2024
- Extreme-scale Direct Numerical Simulation of Incompressible Turbulence on the Heterogeneous Many-core System PPoPP 2024