Publications

Papers

# Planetary Computing for Data-driven Environmental Policy-making

[2024-06-01]

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

Unpublished•DOI

# Global, Robust and Comparable Digital Carbon Assets

[2024-05-27]

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

Poster presented at 6th IEEE International Conference on Blockchain and Cryptocurrency (Dublin, Ireland)•DOI

# PACT Tropical Moist Forest Accreditation Methodology v2.0

[2023-12-18]

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

Unpublished•DOI

Talks

# Uncertainty at scale: how CS hinders climate research

[2024-02-05 - Nantes, France]

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

Talk presented at Undone Computer Science•slides•paper

Workshops

# Eio 1.0 - Effects-based IO for OCaml 5

[2023-09-09 - Seattle, USA]

Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, Anil Madhavapeddy

Presented at ICFP 2023 OCaml Workshop•paper

# Continuous Monitoring of OCaml Applications using Runtime Events

[2022-09-16 - Ljubljana, Slovenia]

Sadiq Jaffer, Patrick Ferris

Presented at ICFP 2022 OCaml Workshop•paper