Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs

Mohit Tekriwal, John Sarracino

Scientific computing programs often undergo aggressive compiler optimization to achieve high performance and efficient resource utilization. While performance is critical, we also…