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

This program is tentative and subject to change.

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

This proposal envisions an ambitious but practicable transition to a collaborative scientific workflow where thousands of scientists and other stakeholders, assisted in the future by safely sandboxed AI agents, work together within a computational commons—which we call Fairground—where thousands of scientific artifacts are authored, collected, and maintained together in executable form in a manner that is FAIR (findable, accessible, interoperable, and reusable), reproducible, and live by default.

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.