4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
Alper Altuntas, Allison H. Baker, John Baugh +2
Earth System Models (ESMs) are critical for understanding past climates and projecting future scenarios. However, the complexity of these models, which include large code bases, a…
cs.DC2023★ 4 cited
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo +3
This report is a digest of the DOE/NSF Workshop on Correctness in Scientific Computing (CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference (FCRC)…