PROPL 2025
who it's for
environmental data scientists, geospatial engineers, research software engineers, climate modelers, data engineers, platform engineers
topics
wastewater surveillance for early warning; GIS flood and vulnerability models; reproducible geospatial workflows; STAC extension with DAGs; GPU-accelerated flow accumulation; LiDAR tree segmentation metrics; declarative geospatial expressions; planetary-scale embeddings library; FAIR live computational commons; spatial programming with bigraphs; provenance-aware authoring tools; biodiversity observation pipelines
| title | author | length |
|---|---|---|
| Precision Action Towards Climate and Health (PATCH) | Angela Chaudhuri, Nitish Kumar Venkatesan, Prerakkumar Mukeshkumar Shah, Sabhimanvi Dua | 18m |
A digital platform that fuses environmental, participatory and media surveillance into actionable government alerts and local guidance, already deployed in… | ||
| What we talk about when we talk about scientific programming | Patrick Ferris | 17m |
Updates to the same remote dataset change land‑cover conclusions dramatically — an example shows deforestation jumping from 3% to 8.5% when the provider… | ||
| Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster(…) | Andrés C. Zúñiga-González, Anil Madhavapeddy, Ronita Bardhan | 11m |
A reproducible pipeline converts LiDAR rasters and vector building/park data into building-level metrics across England, producing 190 million trees segmented… | ||
| Spatial Programming for Environmental Monitoring | Josh Millar, Ryan T. Gibb, Roy Ang, Hamed Haddadi, Anil Madhavapeddy | 16m |
Argues for treating space as a first-class programming concept using bigraphs to encode containment and links, implements a runtime called byrost that derives… | ||
| STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management | Saharsh Laud, Saurabh Joshi, Tarun Mangla, Abhilash Jindal, Aaditeshwar Seth | 14m |
Proposes STACD, a STAC extension that attaches DAGs, algorithm versioning and execution metadata so workflows are first-class catalog entries; provides a… | ||
| Authoring Tools for Transparent Climate Reporting | Roly Perera, Joe Bond, Cristina David, Andrew M McNutt, Alfonso Piscitelli | 21m |
Built a prototype called Fluid transparent programming language that tracks data flow to make charts and supporting text queryable and provenance-visible… | ||
| A FAIR Case for a Live Computational Commons | Cyrus Omar, Michael Coblenz, Anil Madhavapeddy | 26m |
Proposal for a planetary-scale live computational commons called Fairground that stores thousands of executable artifacts, runs them with a distributed… | ||
| Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings | Sadiq Jaffer, Frank Feng, Robin Young, Srinivasan Keshav, Anil Madhavapeddy | 15m |
Pre-computed TESSERA 128-d embeddings replace a year of 10 m optical and radar imagery, trained on 800 billion non-cloudy pixel time series and stored by year… | ||
| GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation,(…) | Rahul Kumar, Vatsal Jingar, Abhilash Jindal, Aaditeshwar Seth | 21m |
GPU implementations rework flow direction, flow accumulation, stream ordering, watershed delineation and runoff into PI / SP / LP primitives and a GPU-parallel… | ||
| Programming Opportunities for the Global Biodiversity Observation Network | Jean-Michel Lord, Jamie M. Kass, Andrew Gonzalez, Michael Dales, Anil Madhavapeddy | 24m |
A platform called BON in a box packages community-contributed scripts plus a YAML description into reusable pipelines that compute EBVs and CBD indicators; the… | ||
| Yirgacheffe: a declarative approach to geospatial data | Michael Dales, Alison Eyres, Patrick Ferris, Anil Madhavapeddy, Francesca A. Ridley, Simon Tarr | 13m |
Yirgacheffe is a Python declarative geospatial library that expresses raster ops as numpy‑style expressions, performs lazy evaluation, and automatically chunks… | ||
| Welcome to the 2nd PROPL | Anil Madhavapeddy, KC Sivaramakrishnan, Dominic Orchard | 06m |
Workshop revival originates from a small cross-disciplinary effort to apply programming languages and systems to climate and biodiversity problems, following a… | ||
| Towards Modelling and Verification of Coupler Behaviour in Climate Models | Chinmayi Prabhu Baramashetru, Dominic Orchard | 22m |
Argues for inserting dynamic runtime contracts at coupler boundaries to catch unit mismatches, timing and routing errors before they propagate; extracts… | ||
| Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and(…) | Cristian Urlea, Ana Denisa Urlea, Wim Vanderbauwhede, Adriana Laura Voinea, Syed Waqar Nabi | 07m |
Prototype language embeds AST holes with prompt-boundaries so an LLM only edits a specific subtree, enforced by an interpreter that limits generation and makes… | ||
| nothing matches | ||