PROPL 2026
who it's for
climate modelers, research software engineers, data engineers, compiler engineers, scientific programmers, open source maintainers, platform engineers
topics
IceChunk storage engine; n-dimensional chunked arrays; transactional dataset versioning; virtual datasets mapping chunks; basic model interface functions; parallelism and geospatial BMI hooks; descriptor-indexed floats; dimensionally checked numeric types; single-source DSL for models; automatic differentiation for Earth models; MLIR/StableHLO tensor lifting; compiler-driven hardware portability
| title | author | length |
|---|---|---|
| Marrying engineering rigor & scientific rigor for the planet | Deepak Cherian | 35m |
Argument: Earth data needs a storage layer with database-style rigor. Earthmover PBC builds IceChunk, an open-source Apache‑2.0, Rust-core, Python-bound… | ||
| Mind the Gap: General-Purpose Programming Languages Impede Scientific Model(…) | Dominic Orchard | 32m |
Position: general-purpose languages make domain meaning disappear, hampering model reuse and verification; evidence comes from re-architecting a neural‑network… | ||
| The Basic Model Interface (BMI) | Mark D Piper, Eric WH Hutton, Gregory E Tucker | 25m |
A minimal, language-agnostic set of about ~30 functions exposes initialize run step get/set and finalize so models remain runnable without BMI yet become… | ||
| Introduction | Cyrus Omar, Anil Madhavapeddy, Dominic Orchard, KC Sivaramakrishnan | 38m |
CO2 concentration exceeds 430 ppm in 2026 and the last three years are the hottest on record; biodiversity monitoring shows a 73% drop in the Living Planet… | ||
| A Compiler-First Planetary Compute Engine: Automatic differentiable and performance(…) | William S. Moses, Gong Cheng, Valentin Churavy, Maximilian Gelbrecht, Milan Klower, Joseph Kump, Mathieu Morlighem, Sarah Williamson, Dhruv Apte, Paul Berg, Mosè Giordano, Chris Hill, Nora Loose, Alexis Montoison, Sri Hari Krishna Narayanan, Avik Pal, Michel Schanen, Simone Silvestri, Greg Wagner, Patrick Heimbach | 30m |
Claims a compiler-stack solution that makes production Earth models end-to-end auto-differentiable and hardware-portable. Uses Enzyme.jl on LLVM and… | ||
| nothing matches | ||