Learn More
This paper describes an Economic and Return-on-Investment (RoI) model for a test methodology that ensures product quality for logic devices that are in the 130 nm technology node and below. We describe the key components of the nanometer test methodology (NTM) and how it drives the model. In addition to ensuring product quality we address the cost of test(More)
This paper introduces GREEN STREAMS, a novel solution to address a critical but often overlooked property of data-intensive software: energy efficiency. GREEN STREAMS is built around two key insights into data-intensive software. First, energy consumption of data-intensive software is strongly correlated to data volume and data processing, both of which are(More)
We introduce RATE TYPES, a novel type system to reason about and optimize data-intensive programs. Built around stream languages, RATE TYPES performs static quantitative reasoning about <i>stream rates</i> -- the frequency of data items in a stream being consumed, processed, and produced. Despite the fact that streams are fundamentally dynamic, we find two(More)
The prevalence of mutant isocitrate dehydrogenase 1 (IDH1) brain tumors has generated significant efforts to understand the role of the mutated enzyme product d-2-hydroxyglutarate (D2HG), an oncometabolite, in tumorigenesis, as well as means to eliminate it. Glymphatic clearance was proposed as a pathway that could be manipulated to accelerate D2HG(More)