Informing conservation problems and actions using an indicator of extinction risk: A detailed assessment of applying the LIFE metric
Alison Eyres, Andy Arnell, Thomas S. Ball, Richard J. Cuthbert, Michael Dales, Alejandro Guizar-Coutiño, Jody Holland, Emilio Luz-Ricca, Anil Madhavapeddy, Leila Pain, Tom Swinfield, Thomas B. White, Andrew Balmford
Journal on Biological Conservation, Jan 15, 2026
| Online

Yirgacheffe: a declarative approach to geospatial data
Michael Dales, Alison Eyres, Patrick Ferris, Franchesca A. Ridley, Simon Tarr, Anil Madhavapeddy
workshop paper in 2nd ACM SIGPLAN International Workshop on Programming for the Planet (PROPL 2025), Oct 13, 2025
| Download | Online | Talk

Food impacts on species extinction risks can vary by three orders of magnitude
Thomas Ball, Michael Dales, Alison Eyres, Jonathan H. Green, Anil Madhavapeddy, David R. Williams, Andrew Balmford
Journal on Nature Food, Sept 9, 2025
| Online

Steps towards an Ecology for the Internet: Computing through crisis into the next decade of growth
Anil Madhavapeddy, Sam Reynolds, Alec Philip Christie, David A Coomes, Michael Winston Dales, Patrick Ferris, Ryan Thomas Gibb, Hamed Haddadi, Sadiq Jaffer, Josh David Millar, Cyrus Omar, William Sutherland, Jon Crowcroft
conference paper on ACM Digital Library, Aug 17, 2025
| Online

LIFE: A metric for quantitively mapping the impact of land-cover change on global extinctions
Alison Eyres, Thomas Ball, Michael Dales, Tom Swinfield, Andy Arnell, Daniele Baisero, América Paz Durán, Jonathan Green, Anil Madhavapeddy, Andrew Balmford
Journal on Philisophical Transactiosn of the Royal Society B, Jan 9, 2025
| Online

Lineage first computing: towards a frugal userspace for Linux
Michael Dales, Patrick Ferris, Anil Madhavapeddy
talk abstract in 1st International Workshop on Low Carbon Computing, Dec 3, 2024
| Download | Talk

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 Coomes, Srinivasan Keshav, Anil Madhavapeddy
Technical report on arXiv, Jun 4, 2024
| Online

Global, robust and comparable digital carbon assets
Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Anil Madhavapeddy, Srinivasan Keshav
Poster, with expanded version as technical report on IEEE International Conference on Blockchain and Cryptocurrency, May 21, 2024
| Online

Uncertainty at scale: how CS hinders climate research
Patrick Ferris, Michael Dales, Tom Swinfield, Sadiq Jaffer, Srinivasan Keshav, Anil Madhavapeddy
conference paper in Undone Computer Science, Feb 5, 2024
| Download | Online

PACT Tropical Moist Forest Accreditation Methodology v2.0
Andrew Balmford, David Coomes, Michael Dales, Patrick Ferris, James Hartup, Sadiq Jaffer, Srinivasan Keshav Author, Anil Madhavapeddy, Robin Message, E-Ping Rau, Thomas Swinfield, Charlotte Wheeler
technical report on Cambridge Open Engage, Dec 18, 2023
| Online

A Case for Planetary Computing
Amelia Holcomb, Michael Dales, Patrick Ferris, Sadiq Jaffer, Thomas Swinfield, Alison Eyres, Andrew Balmford, David Coomes, Srinivasan Keshav, Anil Madhavapeddy
Technical report on arXiv, Mar 8, 2023
| Online

A QoS-negotiable middleware system for reliably multicasting messages of arbitrary size
Antonio Di Ferdinando, Paul D. EzhilchelvanMichael Dales, Jon Crowcroft
conference paper in International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Apr 24, 2006
| Online

Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
Adam BiltcliffeMichael Dales, Sam JansenThomas Ridge, Peter Sewell
conference paperInternational Conference on Network Protocols, Mar 29, 2006
| Online

SWIFT: A testbed with optically switched data paths for computing applications
Madeline Glick, Michael Dales, Derek McAuleyTao Lin, Kevin Williams, Richard Penty, Ian White
conference paper in International Conference Transparent Optical Networks, Jul 29, 2005
| Online

SWIFT: A High Capacity Wavelength-striped Optically Switched Network with Electornic Control
Madeline Glick, Michael Dales
poster in IEEE INFOCOM, Mar 29, 2005
| Download

Managing a Reconfigurable Processor in a General Purpose Workstation Environment
Michael Dales
conference paper in Design, Automation and Test in Europe Conference and Exhibition, Mar 7, 2003
| Download | Online

Operating System Support for Reconfigurable Processors in a Workstation Enviornment
Michael Dales
paperaccpted to conference but withdrawn due to lack of travel funds, Feb 20, 2003
| Download

Managing a reconfigurable processor in a general purpose workstation environment
Michael Winston Dales
PhD dissertationpublished on , Jan 30, 2003
| Download | Online

Initial Analysis of the Proteus Architecture
Michael Dales
poster paper in Field-Programmable Logic and Applications, Jan 1, 2001
| Download | Online

The Proteus Processor — A Conventional CPU with Reconfigurable Functionality
Michael Dales
poster paper in Field-Programmable Logic and Applications, Aug 30, 1999
| Download | Poster | Online

Postscript™ rendering with virtual hardware
Satnam Singh, John W. Patterson, Jim Burns, Michael Dales
workshop paper in Field-Programmable Logic and Applications, Sept 1, 1997
| Online