Publications

Peer-reviewed papers, preprints, and workshop contributions.

2026

Geospatial foundation models enable data-efficient tree species mapping in temperate mountain forests

James G. C. Ball, Jana Annika Wicklein, Zhengpeng Feng, Jovana Knezevic, Sadiq Jaffer, Anil Madhavapeddy, Clement Atzberger, Michele Dalponte, David A. Coomes

Working paper, bioRxiv. Mar 2026.Link

Applications of the TESSERA Geospatial Foundation Model to Diverse Environmental Mapping Tasks

Zhengpeng Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunen, Robin Young, Madeline C. Lisaius, Markus Immitzer, Toby Jackson, James G. C. Ball, David A. Coomes, Anil Madhavapeddy, Andrew Blake, Srinivasan Keshav

Working paper, SSRN. Jan 2026.Link

2025

Three steps for OCaml to crest the AI humps

Sadiq Jaffer, Jon Ludlam, Ryan Gibb, Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the 2025 OCaml Workshop. Oct 2025.PDFLink

AI-assisted Living Evidence Databases for Conservation Science

Sadiq Jaffer, William Morgan, Sam Reynolds, Alec Christie, Anil Madhavapeddy, Bill Sutherland

Working paper, Cambridge Open Engage. Oct 2025.PDFLink

TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis

Zhengpeng Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunen, Robin Young, Madeline C. Lisaius, Markus Immitzer, Toby Jackson, James G. C. Ball, David A. Coomes, Anil Madhavapeddy, Andrew Blake, Srinivasan Keshav

Working paper, arXiv. Jun 2025.PDFLink

Learning lessons from over-crediting to ensure additionality in forest carbon credits

Thomas Swinfield, Abby Williams, David A. Coomes, Michael Dales, Patrick Ferris, Alejandro Guizar-Coutiño, James Hartup, Jody Holland, Sadiq Jaffer, Julia P.G. Jones, Miranda Lam, Srinivasan Keshav, Anil Madhavapeddy, Eleanor Toye Scott, Thales West, Andrew Balmford

Working paper, Cambridge Open Engage. Nov 2025.PDFLink

Steps towards an Ecology for the Internet

Anil Madhavapeddy, Sam Reynolds, Alec Christie, David A. Coomes, Michael Dales, Patrick Ferris, Ryan Gibb, Hamed Haddadi, Sadiq Jaffer, Josh Millar, Cyrus Omar, Bill Sutherland, Jon Crowcroft

Proceedings of the Sixth Decennial Aarhus Conference: Computing X Crisis. Aug 2025.PDFLink

Solving Package Management via Hypergraph Dependency Resolution

Ryan Gibb, Patrick Ferris, David Allsopp, Michael Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam, Anil Madhavapeddy

Working paper, arXiv. Jun 2025.PDFLink

Conservation changed but not divided

Sam Reynolds, Sara Beery, Neil Burgess, Mark Burgman, Stuart H.M. Butchart, Steven J. Cooke, David A. Coomes, Finn Danielsen, Enrico Di Minin, América Paz Durán, Amy Hinsley, Sadiq Jaffer, Julia P.G. Jones, Binbin V. Li, Anil Madhavapeddy, Lloyd Peck, Nathalie Pettorelli, Jon Paul Rodríguez, Bill Sutherland

Trends in Ecology & Evolution. Apr 2025.Link

Will AI speed up literature reviews or derail them entirely?

Sam Reynolds, Alec Christie, Lynn Dicks, Sadiq Jaffer, Anil Madhavapeddy, Bill Sutherland

Nature. Jul 2025.PDFLink

Emission Impossible: privacy-preserving carbon emissions claims

Jessica Man, Sadiq Jaffer, Patrick Ferris, Martin Kleppmann, Anil Madhavapeddy

Working paper, arXiv. Jun 2025.PDFLink

Careful design of Large Language Model pipelines enables expert-level retrieval of evidence-based information from syntheses and databases

Radhika Iyer, Alec Christie, Anil Madhavapeddy, Sam Reynolds, Bill Sutherland, Sadiq Jaffer

PLOS ONE. May 2025.PDFLink

2024

The potential for AI to revolutionize conservation: a horizon scan

Sam Reynolds, Sara Beery, Neil Burgess, Mark Burgman, Stuart H.M. Butchart, Steven J. Cooke, David A. Coomes, Finn Danielsen, Enrico Di Minin, América Paz Durán, Francis Gassert, Amy Hinsley, Sadiq Jaffer, Julia P.G. Jones, Binbin V. Li, Oisin Mac Aodha, Anil Madhavapeddy, Stephanie O'Donnell, Bill Oxbury, Lloyd Peck, Nathalie Pettorelli, Jon Paul Rodríguez, Emily Shuckburgh, Bernardo Strassburg, Hiromi Yamashita, Zhongqi Miao, Bill Sutherland

Trends in Ecology & Evolution. Dec 2024.Link

Harnessing temporal & spectral dimensionality to identify individual trees in tropical forests

James G. C. Ball, Sadiq Jaffer, Anthony Laybros, Colin Prieur, Toby Jackson, Anil Madhavapeddy, Nicolas Barbier, Gregoire Vincent, David A. Coomes

Working paper, bioRxiv. Jun 2024.PDFLink

Planetary computing for data-driven environmental policy-making

Patrick Ferris, Michael Dales, Sadiq Jaffer, Amelia Holcomb, Eleanor Toye Scott, Thomas Swinfield, Alison Eyres, Andrew Balmford, David A. Coomes, Srinivasan Keshav, Anil Madhavapeddy

Working paper, arXiv. Mar 2024.PDFLink

Towards Scalable Deep Species Distribution Modelling using Global Remote Sensing

Emily Morris, Anil Madhavapeddy, Sadiq Jaffer, David A. Coomes

In proceedings of ICLR 2024 Workshop on Tackling Climate Change with Machine Learning. May 2024.PDFLink

Global, robust and comparable digital carbon assets

Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Srinivasan Keshav, Anil Madhavapeddy

In proceedings of 6th IEEE International Conference on Blockchain and Cryptocurrency. Apr 2024.PDFLink

Uncertainty at scale: how CS hinders climate research

Patrick Ferris, Michael Dales, Thomas Swinfield, Sadiq Jaffer, Srinivasan Keshav, Anil Madhavapeddy

Working paper, Undone Computer Science. Feb 2024.PDF

PACT Tropical Moist Forest Accreditation Methodology v2.1

Andrew Balmford, David A. Coomes, Michael Dales, Patrick Ferris, James Hartup, Sadiq Jaffer, Srinivasan Keshav, Miranda Lam, Anil Madhavapeddy, Robin Message, E.-Ping Rau, Thomas Swinfield, Charlotte Wheeler

Working paper, Cambridge Open Engage. Aug 2024.PDFLink

2022

Continuous Monitoring of OCaml Applications Using Runtime Events

Sadiq Jaffer, Patrick Ferris

In proceedings of 2022 OCaml Users and Developers Workshop. Aug 2022.PDFLink

2021

Experiences with Effects

Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, Anil Madhavapeddy

In proceedings of 2021 OCaml Users and Developers Workshop. Aug 2021.PDFLink

Retrofitting effect handlers onto OCaml

KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy

In proceedings of 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jun 2021.PDFLink

2020

Retrofitting parallelism onto OCaml

KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy

Proceedings of the ACM on Programming Languages. Aug 2020.PDFLink

Parallelising your OCaml Code with Multicore OCaml

Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly, Anil Madhavapeddy

In proceedings of 2020 OCaml Users and Developers Workshop. Aug 2020.PDFLink