1 citations · 1 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…
stat.CO2024★ 1 cited
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…