-
Global, robust and comparable digital carbon assets
Authors:
Sadiq Jaffer,
Michael Dales,
Patrick Ferris,
Thomas Swinfield,
Derek Sorensen,
Robin Message,
Srinivasan Keshav,
Anil Madhavapeddy
Abstract:
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 benefit, such as avoiding emissions from tropical deforestation. However, many concerns regarding the credibility of these offsetting claims have been raised. Moreover, the credit market is manual, therefore inefficient…
▽ More
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 benefit, such as avoiding emissions from tropical deforestation. However, many concerns regarding the credibility of these offsetting claims have been raised. Moreover, the credit market is manual, therefore inefficient and unscalable, and non-fungible, therefore illiquid. To address these issues, we propose an efficient digital methodology that combines remote sensing data, modern econometric techniques, and on-chain certification and trading to create a new digital carbon asset (the PACT stablecoin) against which carbon offsetting claims can be transparently verified. PACT stablecoins are produced as outputs from a reproducible computational pipeline for estimating the climate benefits of carbon offset projects that not only quantifies the CO2 emissions involved, but also allows for similar credits to be pooled based on their co-benefits such as biodiversity and jurisdictional attributes, increasing liquidity through fungibility within pools. We implement and evaluate the PACT carbon stablecoin on the Tezos blockchain, which is designed to facilitate low-cost transactions while minimizing environmental impact. Our implementation includes a contract for a registry for tracking issuance, ownership, and retirement of credits, and a custodian contract to bridge on-chain and off-chain transactions. Our work brings scale and trust to the voluntary carbon market by providing a transparent, scalable, and efficient framework for high integrity carbon credit transactions.
△ Less
Submitted 3 April, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Mixed Convection From an Isothermal Rough Plate
Authors:
Aubrey G. Jaffer,
Martin S. Jaffer
Abstract:
While there are studies of mixed convection heat transfer from a smooth plate, studies of this phenomenon from an external rough plate are absent.
The derivation by Jaffer (2023) of the heat transfer formula for natural convection from an external plate implies a simple relation between heat transfer and fluid velocity. This relation leads to formulas for mixed convection from horizontal and ver…
▽ More
While there are studies of mixed convection heat transfer from a smooth plate, studies of this phenomenon from an external rough plate are absent.
The derivation by Jaffer (2023) of the heat transfer formula for natural convection from an external plate implies a simple relation between heat transfer and fluid velocity. This relation leads to formulas for mixed convection from horizontal and vertical rough plates; these formulas are then combined to predict the mixed convection heat transfer at any plate inclination.
Heat transfer measurements of a 30.5 cm square rough plate with forced air velocities between 0.1 m/s and 2.5 m/s were made in each orthogonal combination of plate and airflow direction, and of a tilted downward-facing plate. Each data-set matches the present theory with root-mean-squared relative error between 1.4% and 4%.
△ Less
Submitted 22 May, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Planetary computing for data-driven environmental policy-making
Authors:
Patrick Ferris,
Michael Dales,
Sadiq Jaffer,
Amelia Holcomb,
Eleanor Toye Scott,
Thomas Swinfield,
Alison Eyres,
Andrew Balmford,
David Coomes,
Srinivasan Keshav,
Anil Madhavapeddy
Abstract:
We make a case for "planetary computing" -- infrastructure to handle the ingestion, transformation, analysis and publication of global data products for furthering environmental science and enabling better informed policy-making. We draw on our experiences as a team of computer scientists working with environmental scientists on forest carbon and biodiversity preservation, and classify existing so…
▽ More
We make a case for "planetary computing" -- infrastructure to handle the ingestion, transformation, analysis and publication of global data products for furthering environmental science and enabling better informed policy-making. We draw on our experiences as a team of computer scientists working with environmental scientists on forest carbon and biodiversity preservation, and classify existing solutions by their flexibility in scalably processing geospatial data, and also how well they support building trust in the results via traceability and reproducibility. We identify research gaps in the intersection of computing and environmental science around how to handle continuously changing datasets that are often collected across decades and require careful access control rather than being fully open access.
△ Less
Submitted 1 June, 2024; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Improving the Reliability of Next Generation SSDs using WOM-v Codes
Authors:
Shehbaz Jaffer,
Kaveh Mahdaviani,
Bianca Schroeder
Abstract:
High density Solid State Drives, such as QLC drives, offer increased storage capacity, but a magnitude lower Program and Erase (P/E) cycles, limiting their endurance and hence usability. We present the design and implementation of non-binary, Voltage-Based Write-Once-Memory (WOM-v) Codes to improve the lifetime of QLC drives. First, we develop a FEMU based simulator test-bed to evaluate the gains…
▽ More
High density Solid State Drives, such as QLC drives, offer increased storage capacity, but a magnitude lower Program and Erase (P/E) cycles, limiting their endurance and hence usability. We present the design and implementation of non-binary, Voltage-Based Write-Once-Memory (WOM-v) Codes to improve the lifetime of QLC drives. First, we develop a FEMU based simulator test-bed to evaluate the gains of WOM-v codes on real world workloads. Second, we propose and implement two optimizations, an efficient garbage collection mechanism and an encoding optimization to drastically improve WOM-v code endurance without compromising performance. A careful evaluation, including microbenchmarks and trace-driven evaluation, demonstrates that WOM-v codes can reduce Erase cycles for QLC drives by 4.4x-11.1x for real world workloads with minimal performance overheads resulting in improved QLC SSD lifetime.
△ Less
Submitted 23 July, 2022;
originally announced August 2022.
-
Retrofitting Effect Handlers onto OCaml
Authors:
KC Sivaramakrishnan,
Stephen Dolan,
Leo White,
Tom Kelly,
Sadiq Jaffer,
Anil Madhavapeddy
Abstract:
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. We present a design and evaluate a full-fledged efficient implementation of effect handlers for OCaml, an industrial-strength multi-p…
▽ More
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. We present a design and evaluate a full-fledged efficient implementation of effect handlers for OCaml, an industrial-strength multi-paradigm programming language. Our implementation strives to maintain the backwards compatibility and performance profile of existing OCaml code. Retrofitting effect handlers onto OCaml is challenging since OCaml does not currently have any non-local control flow mechanisms other than exceptions. Our implementation of effect handlers for OCaml: (i) imposes a mean 1% overhead on a comprehensive macro benchmark suite that does not use effect handlers; (ii) remains compatible with program analysis tools that inspect the stack; and (iii) is efficient for new code that makes use of effect handlers.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Retrofitting Parallelism onto OCaml
Authors:
KC Sivaramakrishnan,
Stephen Dolan,
Leo White,
Sadiq Jaffer,
Tom Kelly,
Anmol Sahoo,
Sudha Parimala,
Atul Dhiman,
Anil Madhavapeddy
Abstract:
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper describes the design, a full-fledged implementation and evaluation of a mostly-concurrent garbage collector (GC) for the multicore extension of the OCam…
▽ More
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper describes the design, a full-fledged implementation and evaluation of a mostly-concurrent garbage collector (GC) for the multicore extension of the OCaml programming language. Given that we propose to add parallelism to a widely used programming language with millions of lines of existing code, we face the challenge of maintaining backwards compatibility--not just in terms of the language features but also the performance of single-threaded code running with the new GC. To this end, the paper presents a series of novel techniques and demonstrates that the new GC strikes a balance between performance and feature backwards compatibility for sequential programs and scales admirably on modern multicore processors.
△ Less
Submitted 2 July, 2020; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Fractal Scaling of Population Counts Over Time Spans
Authors:
Aubrey G. Jaffer,
Martin S. Jaffer
Abstract:
Attributes which are infrequently expressed in a population can require weeks or months of counting to reach statistical significance. But replacement in a stable population increases long-term counts to a degree determined by the probability distribution of lifetimes.
If the lifetimes are in a Pareto distribution with shape factor $1-r$ between 0 and 1, then the expected counts for a stable pop…
▽ More
Attributes which are infrequently expressed in a population can require weeks or months of counting to reach statistical significance. But replacement in a stable population increases long-term counts to a degree determined by the probability distribution of lifetimes.
If the lifetimes are in a Pareto distribution with shape factor $1-r$ between 0 and 1, then the expected counts for a stable population are proportional to time raised to the $r$ power. Thus $r$ is the fractal dimension of counts versus time for this population.
Furthermore, the counts from a series of consecutive measurement intervals can be combined using the $L^p$-norm where $p=1/r$ to approximate the population count over the combined time span.
Data from digital advertising support these assertions and find that fractal scaling is useful for early estimates of reach, and that the largest reachable fraction of an audience over a long time span is about $1-r$.
△ Less
Submitted 20 August, 2018; v1 submitted 18 June, 2018;
originally announced June 2018.
-
Accelerating Materials Development via Automation, Machine Learning, and High-Performance Computing
Authors:
Juan Pablo Correa-Baena,
Kedar Hippalgaonkar,
Jeroen van Duren,
Shaffiq Jaffer,
Vijay R. Chandrasekhar,
Vladan Stevanovic,
Cyrus Wadia,
Supratik Guha,
Tonio Buonassisi
Abstract:
Successful materials innovations can transform society. However, materials research often involves long timelines and low success probabilities, dissuading investors who have expectations of shorter times from bench to business. A combination of emergent technologies could accelerate the pace of novel materials development by 10x or more, aligning the timelines of stakeholders (investors and resea…
▽ More
Successful materials innovations can transform society. However, materials research often involves long timelines and low success probabilities, dissuading investors who have expectations of shorter times from bench to business. A combination of emergent technologies could accelerate the pace of novel materials development by 10x or more, aligning the timelines of stakeholders (investors and researchers), markets, and the environment, while increasing return-on-investment. First, tool automation enables rapid experimental testing of candidate materials. Second, high-throughput computing (HPC) concentrates experimental bandwidth on promising compounds by predicting and inferring bulk, interface, and defect-related properties. Third, machine learning connects the former two, where experimental outputs automatically refine theory and help define next experiments. We describe state-of-the-art attempts to realize this vision and identify resource gaps. We posit that over the coming decade, this combination of tools will transform the way we perform materials research. There are considerable first-mover advantages at stake, especially for grand challenges in energy and related fields, including computing, healthcare, urbanization, water, food, and the environment.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.