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 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 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, Sep 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 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 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 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 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 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 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 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 2023
| Online

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

Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
Adam Biltcliffe Michael Dales, Sam Jansen Thomas Ridge, Peter Sewell
conference paper International Conference on Network Protocols Mar 2006
| Online

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

SWIFT: A High Capacity Wavelength-striped Optically Switched Network with Electornic Control
Madeline Glick, Michael Dales
poster in IEEE INFOCOM, Mar 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 2003
| Download | Online

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

Managing a reconfigurable processor in a general purpose workstation environment
Michael Winston Dales
PhD dissertation published on Jan 2003
| Download | Online

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

The Proteus Processor — A Conventional CPU with Reconfigurable Functionality
Michael Dales
poster paper in Field-Programmable Logic and Applications, Aug 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, Sep 1997
| Online