POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
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 Jan

Displayed time zone: London change

11:00 - 12:30
Modelling and analysis / Energy and efficiencyPROPL at Flowers Room
Chair(s): Ryan Gibb
11:00
20m
Talk
The programming challenges of climate data analysis
PROPL
Ezequiel Cimadevilla Instituto de Fisica de Cantabria
11:20
20m
Talk
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
20m
Talk
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
20m
Talk
Kepler Watt Store: Kepler Software Watt Watcher StoreRemote
PROPL
PARUL SINGH RED HAT, Huamin Chen RED HAT, Christophe Laprun RED HAT
12:20
10m
Other
Discussion
PROPL