Learn More
Commodity operating systems entrusted with securing sensitive data are remarkably large and complex, and consequently, frequently prone to compromise. To address this limitation, we introduce a virtual-machine-based system called Overshadow that protects the privacy and integrity of application data, even in the event of a total OScompromise. Overshadow(More)
Hardware transactional memory has great potential to simplify the creation ofcorrect and efficient multithreaded programs, allowing programmers to exploitmore effectively the soon-to-be-ubiquitous multi-core designs. Several recentproposals have extended the original bounded transactional memory to unboundedtransactional memory, a crucial step toward(More)
<b>Dynamic Instruction Stream Editing (DISE)</b> is a cooperative software-hardware scheme for efficiently adding customization functionality---e.g, safety/security checking, profiling, dynamic code decompression, and dynamic optimization---to an application. In DISE, application customization functions (ACFs) are formulated as rules for macro-expanding(More)
We have demonstrated that caspase-1-deficient (caspase-1(-/-)) mice are functionally and histologically protected against cisplatin-induced acute renal failure (ARF). Caspase-1 exerts proinflammatory effects via the cytokines interleukin (IL)-1beta, IL-18, IL-6, and neutrophil recruitment. We sought to determine the role of the cytokines IL-1beta, IL-18,(More)
We studied inhibition of histone deacetylases (HDACs), which results in the unraveling of chromatin, facilitating increased gene expression. ITF2357, an orally active, synthetic inhibitor of HDACs, was evaluated as an anti-inflammatory agent. In lipopolysaccharide (LPS)-stimulated cultured human peripheral blood mononuclear cells (PBMCs), ITF2357 reduced by(More)
It is generally acknowledged that developing correct multi-threaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work is to discover common multi-threaded programming pitfalls, the knowledge of which will be useful in instructing new programmers and in developing tools to aid in multi-threaded(More)
Islet transplantation for type 1 diabetic patients shows promising results with the use of nondiabetogenic immunosuppressive therapy. However, in addition to compromising the immune system of transplant recipients, long-term studies demonstrate that islet viability is impaired. Here, we demonstrate that, in the absence of immunosuppressive agents,(More)
The rationale of α1-antitrypsin (AAT) augmentation therapy to treat progressive emphysema in AAT-deficient patients is based on inhibition of neutrophil elastase; however, the benefit of this treatment remains unclear. Here we show that clinical grade AAT (with elastase inhibitory activity) and a recombinant form of AAT (rAAT) without anti-elastase activity(More)
Here we report the presence of hyperphagia, obesity and insulin resistance in knockout mice deficient in IL-18 or IL-18 receptor, and in mice transgenic for expression of IL-18 binding protein. Obesity of Il18-/- mice resulted from accumulation of fat tissue based on increased food intake. Il18-/- mice also had hyperinsulinemia, consistent with insulin(More)
To the Editor: Newly cloned interleukin 1 (IL-1) family members1–3 were originally given an IL-1 family (IL-1F) designation4, but as functions have now been elucidated for several of these5,6, we propose that each now be assigned an individual interleukin designation. IL-1F6, IL-1F8 and IL-1F9 are encoded by distinct genes but use the same receptor complex(More)