Mon 15 Jun 2026 09:40 - 10:10 at Flatirons 4 - Intro and Position papers 1

Drawing on a decade spent bridging the Earth Science & open-source worlds, I argue that the Earth Science scientific community has much to steal from the computer science & engineering community — specifically, the concept of “rigor” broadly defined at the storage, compute, and science layers of the scientific software stack.

  1. We have recently made progress toward increasing rigor at the storage layer with Icechunk, taking inspiration from transactional database systems.
  2. We still lack analysis libraries and idioms that make it easy to articulate simple, convenient, and correct expression of complex scientific ideas.
  3. We should be doing more to apply reliability and correctness approaches (e.g. property testing) in scientific software.

At the workshop, I am keen to explore any of these ideas with the group in the room.

Mon 15 Jun

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:10
Intro and Position papers 1PROPL at Flatirons 4
09:00
40m
Talk
Introduction
PROPL
Cyrus Omar University of Michigan, Anil Madhavapeddy University of Cambridge, UK, Dominic Orchard University of Cambridge; University of Kent, KC Sivaramakrishnan IIT Madras and Tarides
09:40
30m
Talk
Marrying engineering rigor & scientific rigor for the planet
PROPL
Deepak Cherian Earthmover PBC