ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Mon 13 Oct 2025 17:15 - 17:30 at Peony NE - Lightning talks and demos Chair(s): Anil Madhavapeddy

Urban trees are a cornerstone of 21st-century cities, serving as the most immediate source of nature in our highly urbanised world. Their benefits are extensive; they improve public health, offer calming green spaces, and contribute to the socio-cultural fabric of city life. Ecologically, urban forests are vital in the fight against climate change, mitigating the urban heat island effect, reducing air pollution, and acting as powerful carbon sinks that can harbour more carbon per hectare than some tropical forests. These green assets also host diverse wildlife and provide essential recreational spaces for citizens. However, traditional tree mapping efforts are often costly, labour-intensive, and slow. Furthermore, manual surveys typically only capture trees in accessible areas like parks and roadsides, leading to a significant underestimation of the total urban canopy.

In this short demonstration, we showcase a reproducible framework to move from disparate geospatial datasets to a cohesive, building-level description of green infrastructure at a national scale. Our approach leverages several state-of-the-art tools to overcome the limitations of traditional methods. We aimed to quantify the 3-30-300 rule for urban greening—a “rule of thumb” policy stating that every citizen should see 3 trees from their home, live in a neighbourhood with 30% canopy cover, and be within 300 metres of a public park.

Mon 13 Oct

Displayed time zone: Perth change

16:00 - 17:40
Lightning talks and demosPROPL at Peony NE
Chair(s): Anil Madhavapeddy University of Cambridge, UK
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
DOI
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 Remote
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
DOI Media Attached
17:00
15m
Other
Should we use LLMs to program for the planet? Remote
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.