pldi26.sigplan.org

There are simultaneous interlinked crises across the planet due to human actions: climate change, biodiversity loss, and desertification (collectively, a crisis in climate health). Assessing progress on these complex and interlocking issues requires a global view on the effectiveness of our adaptations and mitigations. To succeed in the coming decades, we need a wealth of new data about our natural environment that we rapidly process into accurate indicators, with sufficient trust in the resulting insights to support interventions that affect the lives of billions of people worldwide.

Previous editions of PROPL (PROPL 2024, PROPL 2025) have investigated the state of practice in this area while also eliciting ambitious visions for future computational systems designed to support collaborative climate analysis, modeling, forecasting, policy, and diplomacy.

Inspired by the lively discussions around these future visions in previous years, PROPL 2026 will be more focused, operating as an open working meeting where we elicit requirements and propose a coherent set of technical approaches for a next-generation planetary compute engine, i.e. a large-scale “live computational commons” where all sorts of humans, working together when appropriate with safely sandboxed AI systems:

  • collect and process billions of observations about the state of the planet, with new data being ingested continuously
  • feed this data into live computations, including data analyses and simulations
  • present the results of these computations in formats that are comprehensible and actionable in the real world

We will consider all aspects of next-generation programming system design in this space, with dedicated time throughout the day for all of the following:

  • the user interface of the planetary compute engine (including usability considerations for both experts and non-expert contributors)
  • the core programming and data querying model
  • scalable implementation (e.g. incrementality, automatic parallelization and distribution)
  • interoperability mechanisms (e.g. foreign function and data interfaces)
  • version control
  • access control
  • collaboration with AI agents (including contextualization and sandboxing approaches)
  • data ingestion
  • sociotechnical aspects of the system (e.g. community norms, engagement with diverse stakeholders, where will computations run and how will large computations be managed)

Accepted Papers

Title
A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling

PROPL

Marrying engineering rigor & scientific rigor for the planet

PROPL

Mind the Gap: General-Purpose Programming Languages Impede Scientific Model Development and Communication

PROPL

Pre-print
The Basic Model Interface (BMI)

PROPL

DOI

Call for Action

In the previous two editions of the Programming for the Planet workshop (PROPL 2025, PROPL 2024), our community identified the need for a planetary compute engine to “connect the dots” on planetary health. This 3rd “Action PROPL” now invites anyone with an interest in helping research, design and implement a next-generation planetary compute engine to attend and actively participate in the workshop.

In each topical session, the organizers will begin with a brief orienting presentation, then ask audience members to contribute notes and ideas to a “living document” before engaging in an active discussion.

The goal is to include a diverse cross-section of:

  • climate science and biodiversity practitioners, who can contribute their point of view on computational and sociotechnical requirements and unmet needs; and

  • researchers and engineers with expertise in programming systems, who can connect these requirements with potential technical approaches that have been percolating through the computing community in research years, and identify potential unsolved problems that need further research.

If you’re interested in the topic of planetary health, but feel like your research doesn’t fit, then we encourage you to come along and we will try to figure it out with you!

Background reading:

These provide background into the kinds of problems we’d like to address. What we are seeking from the computer science community are ideas:

  • have you recently researched and built a system which may be useful towards these goals? Tell us about it, and how it might help.

  • do you have colleagues working on climate or biodiversity science who may benefit as users, and could provide inputs? You are welcome to talk to them and be a proxy if you are attending PLDI.

  • are you looking to embark on a new project, and have some time to build new collaborations? Drop us a note! For example, last year’s PROPL featured this: A FAIR case for a live computational commons which we are using this year as a template; more are welcome.

Above all, we want to take action today using our specialist and valuable skills at programming languages and computer systems, rather than deferring the issue to a future generation. If you fit this mold, or you want to, then we’d be delighted to have you at the 3rd PROPL.

Submissions

We are soliciting 1-page position papers, or even shorter notes, to help seed and steer the discussion on any of the topics enumerated at the top of this page (or any other topics that you think it would be important to discuss). If you have a position paper to contribute, please submit via HotCRP:

https://propl26.hotcrp.com/

Position papers will be lightly reviewed and posted publicly on the workshop webpage in advance of the event.

  • For climate science and biodiversity practitioners, broadly construed, we would love to hear your perspectives on the computational challenges you face, important constraints that would determine whether you would be willing to move to a new collection of languages, systems, and tools, and interesting research problems that might be useful case studies for the system.

  • For technologists, broadly construed, we would love to hear about potential important theoretical ideas, practical systems, open problems, research methods, and research results.

If you cannot attend, but would like to participate asynchronously, then we encourage you to submit a note to make us aware of your interest. Novelty is not a requirement in either case!

Workshop Dinner

We will have an informal workshop dinner (you pay for yourself) at 7pm at SALT, located at 1047 Pearl Street. All participants for any portion of the day are welcome!

Plenary

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

10:10 - 10:40

Coffee BreakCatering at Flatirons Foyer

10:10

30m

Coffee break

Break

Catering


10:40 - 12:20

Position papers 2PROPL at Flatirons 4

10:40

30m

Talk

A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling

PROPL

William S. Moses University of Illinois Urbana-Champaign, Gong Cheng Dartmouth College, Valentin Churavy Johannes Gutenberg University, Mainz & University of Augsburg, Maximilian Gelbrecht Technical University of Munich & Potsdam Institute for Climate Impact Research, Milan Klower University of Oxford, Joseph Kump UT Austin, Mathieu Morlighem Dartmouth College, Sarah Williamson UT Austin, Dhruv Apte UT Austin, Paul Berg Aeolus Labs, Mosè Giordano UCL, Chris Hill MIT, Nora Loose [C]Worthy, Alexis Montoison Argonne National Laboratory, Sri Hari Krishna Narayanan Argonne National Laboratory, Avik Pal MIT, Michel Schanen Argonne National Laboratory, Simone Silvestri Politecnico di Torino, Greg Wagner MIT; Aeolus Labs, Patrick Heimbach UT Austin

11:10

30m

Talk

Mind the Gap: General-Purpose Programming Languages Impede Scientific Model Development and Communication

PROPL

Dominic Orchard University of Cambridge; University of Kent

Pre-print

11:40

30m

Talk

The Basic Model Interface (BMI)

PROPL

Mark D Piper University of Colorado Boulder, Eric WH Hutton University of Colorado Boulder, Gregory E Tucker University of Colorado Boulder

DOI

12:20 - 13:40

12:20

80m

Lunch

Lunch

Catering


13:40 - 15:20

13:40

20m

Meeting

Guided discussion planning

PROPL


14:00

30m

Meeting

User experience discussion

PROPL


14:30

30m

Talk

Programming model discussion

PROPL


15:00

20m

Meeting

Interoperability discussion

PROPL


15:20 - 15:50

Coffee BreakCatering at Flatirons Foyer

15:20

30m

Coffee break

Break

Catering


15:50 - 17:20

Action PROPL at Flatirons 4

15:50

20m

Meeting

Scaling discussion

PROPL


16:10

30m

Meeting

AI discussion

PROPL


16:40

30m

Meeting

Sociotechnical factors, driving adoption

PROPL


17:10

10m

Meeting

Next steps and action plan

PROPL


19:00 - 21:00

DinnerPROPL at SALT

19:00

2h

Dinner

Informal Workshop Dinner (at SALT)

PROPL


Read the original on pldi26.sigplan.org ↗