What we talk about when we talk about scientific programming (PROPL 2025 - 2nd ACM SIGPLAN International Workshop on Programming for the Planet (PROPL 2025))

Track

PROPL 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 13 Oct 2025 14:20 - 14:40 at Peony NE - Principled scientific programming

Abstract

Programming for the planet undoubtedly involves programming scientifically, but what kind of programming are we talking about and what makes it scientific? In what ways does it differ from other forms of programming, if at all? Is scientific programming, data science or machine learning fundamentally different to constructing a compiler or building a high-throughput web server?

By considering how the scientific method (with its falsifiable hypotheses and repeatable and reproducible experiments) relates to scientific programming, I hope to explore how computer science and traditional programming techniques are coming up short in meeting the requirements of scientific programmers.

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 13 Oct
Displayed time zone: Perth change

13:40 - 15:20	Principled scientific programmingPROPL at Peony NE

13:40 20m Paper		GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation PROPL rahul kumar , Vatsal Jingar IIT Delhi, Abhilash Jindal IIT Delhi, India, Aaditeshwar Seth Indian Institute Of Technology Delhi
14:00 20m Talk		Authoring Tools for Transparent Climate Reporting PROPL Roly Perera University of Cambridge/University of Bristol, Joe Bond University of Bristol, UK, Cristina David University of Bristol, Andrew McNutt University of Utah, Alfonso Piscitelli University of Salerno
14:20 20m Talk		What we talk about when we talk about scientific programming PROPL Patrick Ferris University of Cambridge, UK
14:40 20m Paper		A FAIR Case for a Live Computational Commons PROPL Cyrus Omar University of Michigan, Michael Coblenz University of California, San Diego, Anil Madhavapeddy University of Cambridge, UK
15:00 20m Paper		Towards Modelling and Verification of Coupler Behaviour in Climate Models PROPL Chinmayi Prabhu Baramashetru University of Oslo, Dominic Orchard University of Cambridge; University of Kent

Information for Participants

Info for event:

Please see https://icfp25.sigplan.org/attending/Information-for-Attendees for information on remote and in-person participation for this talk.