2 papers
cs.SE2025
Towards Richer Challenge Problems for Scientific Computing Correctness
Matthew Sottile, Mohit Tekriwal, John Sarracino
Correctness in scientific computing (SC) is gaining increasing attention in the formal methods (FM) and programming languages (PL) community. Existing PL/FM verification techniques…
cs.PL2025
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…