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

This program is tentative and subject to change.

Mon 13 Oct 2025 16:45 - 17:00 at Peony NE - Lightning talks and demos

We present Yirgacheffe, a declarative geospatial library that allows for spatial algorithms to be implemented more concisely, supports parallel execution, and avoids common errors by handling data (large geospatial rasters) and resources (cores, memory, GPUs) automatically. Our primary user domain are ecologists, where a typical problem involves cleaning messy occurrence data, overlaying it over tiled rasters, combining layers, and deriving actionable insights from the results. We describe the successes of this approach towards driving key pipelines related to global biodiversity, and describe the capability gaps that remain, hoping to motivate more research into geospatial domain-specific languages.

This program is tentative and subject to change.

Mon 13 Oct

Displayed time zone: Perth change

16:00 - 17:40
Lightning talks and demosPROPL at Peony NE
16:00
15m
Talk
Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings
PROPL
Sadiq Jaffer University of Cambridge, Frank Feng University of Cambridge, Robin Young University of Cambridge, Srinivasan Keshav University of Cambridge, Anil Madhavapeddy University of Cambridge, UK, Robin Young University of Cambridge
16:15
15m
Paper
STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management
PROPL
Saharsh Laud Indian Institute Of Technology Delhi, Saurabh Joshi Indian Institute Of Technology Delhi, Tarun Mangla Indian Institute Of Technology Delhi, Abhilash Jindal IIT Delhi, India, Aaditeshwar Seth Indian Institute Of Technology Delhi
16:30
15m
Talk
Spatial Programming for Environmental Monitoring
PROPL
Josh Millar Imperial College London, Ryan Gibb University of Cambridge, Roy Ang University of Cambridge, Hamed Haddadi Imperial College London, Anil Madhavapeddy University of Cambridge, UK
16:45
15m
Paper
Yirgacheffe: a declarative approach to geospatial data
PROPL
Michael Dales University of Cambridge, UK, Alison Eyres University of Cambridge, Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK, Francesca A. Ridley Newcastle University, Simon Tarr IUCN
17:00
15m
Talk
Large Language Models for computational climate analysis
PROPL
Jay Torry University of Cambridge
17:15
15m
Talk
Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster and Vector Data
PROPL
Andrés C. Zúñiga-González University of Cambridge, Anil Madhavapeddy University of Cambridge, UK, Ronita Bardhan University of Cambridge
17:30
10m
Day closing
Closing thoughts from the chairs
PROPL
Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, 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.