PLDI 2026 (series) / PROPL 2026 (series) / PROPL 2026 /
Marrying engineering rigor & scientific rigor for the planet
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.
- We have recently made progress toward increasing rigor at the storage layer with Icechunk, taking inspiration from transactional database systems.
- We still lack analysis libraries and idioms that make it easy to articulate simple, convenient, and correct expression of complex scientific ideas.
- 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 JunDisplayed time zone: Mountain Time (US & Canada) change
Mon 15 Jun
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:10 | |||
09:00 40mTalk | 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 30mTalk | Marrying engineering rigor & scientific rigor for the planet PROPL Deepak Cherian Earthmover PBC | ||