Papers and Publications

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

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
Technical report on Cambridge Open Engage, Dec 2023
| 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
| 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