Publications

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

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

Reports

# PACT Tropical Moist Forest Accreditation Methodology v2.0

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

Link