ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

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

Critical hydrology related algorithms to trace the path of surface water flows, including flow accumulation, stream order, watershed delineation, and runoff simulation, can be difficult to execute for large aerial extents at fine spatial and temporal resolutions. Libraries like GDAL that use multi-threaded CPU-based implementations running on a single host may be slow, and distributed infrastructures like Google Earth Engine may not support the kind of computational primitives required by these algorithms. We have developed a GPU-accelerated framework that re-engineers these four algorithms and is able to process areas as large as river basins of 250,000 km2 on commodity GPU workstations. We express these algorithms in terms of easily parallelizable primitives of pixel independent (PI) and short-pixel (SP) operations, and iterative primitives of long-pixel (LP) operations. Each algorithm uses a different mix of the primitives which helps us ensure that the implementation is generic. We show that our implementation of these algorithms produces accurate outputs and is able to achieve significant performance benefits over alternative methods. Being able to execute the algorithms on a commodity GPU workstation paves the path to use on-prem infrastructure to produce national-scale outputs, and collaborate to pool multiple national-scale outputs together for global-scale analysis.

Note: the talk at the conference will also combine the “STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management” paper into one slot.

This program is tentative and subject to change.

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.