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

This program is tentative and subject to change.

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

Remote sensing observations from satellites are critical for scientists to understand how our world is changing in the face of climate change, biodiversity loss, and desertification. However, working directly with this data is difficult. For any given satellite constellation, there are a multitude of processed products, data volume is considerable, and for optical imagery, users must contend with data sparsity due to cloud cover. This complexity creates a significant barrier for domain experts who are not specialists.

Pre-trained, self-supervised foundation models such as TESSERA (https://arxiv.org/abs/2506.20380) aim to solve this by offering pre-computed global embeddings. These rich embeddings can be used in-place of raw remote sensing data in a powerful “embedding-as-data” approach. For example, a single 128-dimensional TESSERA embedding for a 10-meter point on Earth can substitute for an entire year of optical and radar imagery, representing its temporal and spectral characteristics. While this could democratise access to advanced remote sensing-derived analytics, it also creates a new programming challenge: a lack of tools designed for this new approach.

In this talk we will focus on our lessons learnt from the development of geotessera (https://github.com/ucam-eo/geotessera), a library designed for this new embeddings-as-data approach. We will explore key design decisions that focus on both a high-level API for accessibility and tight integration with the existing scientific Python ecosystem. The core user workflow will be demonstrated, showing how our library enables a rapid classification task on this new data paradigm. By presenting this work as a case study, we aim to highlight the critical need for new programming systems research for high-dimensional geospatial embeddings and help build a stronger, more effective bridge between the programming and climate science communities.

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
16m
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
16:16
16m
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
16:33
16m
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
17:23
16m
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