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

This program is tentative and subject to change.

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

Large-scale environmental monitoring demands real-time, spatially-aware coordination across distributed networks. However, existing distributed computing models poorly capture spatial structure, hindering dynamic collaboration and fine-grained access control. We argue that space must be treated as a first-class concept in programming models for these systems based on bigraphs – a formalism that explicitly models spatial arrangements, data movement, and access policies, while supporting real-time reconfiguration and localised reasoning. This approach facilitates secure, composable, and dynamically verifiable coordination across geographically distributed nodes and organisations, paving the way for scalable, responsive environmental networks.

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