Thomas Bartenstein

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)
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)