POPL 2024 (series) / PROPL 2024 (series) / Programming for the Planet (PROPL) / Categorical Composition of Discrete Exterior Calculus Climate Models
Categorical Composition of Discrete Exterior Calculus Climate ModelsRemote
Sat 20 Jan 2024 11:20 - 11:40 at Flowers Room - Modelling and analysis / Energy and efficiency Chair(s): Ryan Gibb
The Decapodes.jl framework offers a domain-specific language for specifying systems of multiphysics equations, and formally composes such complex systems via undirected wiring diagrams. Since equations are encoded in the Discrete Exterior Calculus (DEC), these composed Decapodes can be compiled, automatically generating performant simulation code. Composition of Decapode diagrams along physical quantities manages the complexity that arises when bringing together multiphysics systems in a climate modeling context. In this talk, we briefly cover the Decapodes.jl framework and three example problems: the Halfar glacial model, the Halfar model’s composition with the Budyko-Sellers energy balance model, and the Klausmeier vegetation model.
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
11:00 - 12:30 | |||
11:00 20mTalk | The programming challenges of climate data analysis PROPL Ezequiel Cimadevilla Instituto de Fisica de Cantabria | ||
11:20 20mTalk | Categorical Composition of Discrete Exterior Calculus Climate ModelsRemote PROPL Luke Morris University of Florida, George Rauta University of Florida, James Fairbanks University of Florida | ||
11:40 20mTalk | Formal Methods to Save the Earth PROPL Hongyi Huang National University of Singapore, Jialin Li National University of Singapore, Singapore, Umang Mathur National University of Singapore | ||
12:00 20mTalk | Kepler Watt Store: Kepler Software Watt Watcher StoreRemote PROPL | ||
12:20 10mOther | Discussion PROPL |