21 citations · 31 across the 7 of their papers we have counts for
7 papers
Decomposable Type Highlighting for Bidirectional Type and Cast System
Max Carroll, Anil Madhavapeddy, Patrick Ferris
We explore how to provide programmers with an interactive interface for explaining the process by which static types and dynamic casts are derived, with the goal of improving the d…
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentatio…
Emission Impossible: privacy-preserving carbon emissions claims
Jessica Man, Sadiq Jaffer, Patrick Ferris +2
Information and Communication Technologies (ICT) have a significant climate impact, and data centres account for a large proportion of the carbon emissions from ICT. To achieve sus…
Solving Package Management via Hypergraph Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +7
Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that m…
Steps towards an Ecology for the Internet
Anil Madhavapeddy, Sam Reynolds, Alec P. Christie +10
The Internet has grown from a humble set of protocols for end-to-end connectivity into a critical global system with no builtin "immune system". In the next decade the Internet wil…
Global, robust and comparable digital carbon assets
Sadiq Jaffer, Michael Dales, Patrick Ferris +5
Carbon credits purchased in the voluntary carbon market allow unavoidable emissions, such as from international flights for essential travel, to be offset by an equivalent climate…
Planetary computing for data-driven environmental policy-making
Patrick Ferris, Michael Dales, Sadiq Jaffer +8
We make a case for "planetary computing" -- infrastructure to handle the ingestion, transformation, analysis and publication of global data products for furthering environmental sc…