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…
stat.CO2024
Boosting Earth System Model Outputs And Saving PetaBytes in their Storage Using Exascale Climate Emulators
Sameh Abdulah, Allison H. Baker, George Bosilca +9
We present the design and scalable implementation of an exascale climate emulator for addressing the escalating computational and storage requirements of high-resolution Earth Syst…