Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

Microscopic and Spectroscopic Methods for Probing the Clay Water Interface

Clay minerals have a fundamental importance in many processes in soils and sediments such as the bioavailability of nutrients, water retention, the adsorption of common pollutants, and the formation of an impermeable barrier upon swelling. Many of the properties of clay minerals are due to the unique environment present at the clay mineral/water interface. Traditional techniques such as X-ray diffraction (XRD) and absorption isotherms have provided a wealth of information about this interface but have suffered from limitations. The methods and results presented herein are designed to yield new experimental information about the clay mineral/water interface.A new method of studying the swelling dynamics of clay minerals was developed using in situ atomic force microscopy (AFM). The preliminary results presented here demonstrate that this technique allows one to study individual clay mineral unit layers, explore the natural heterogeneities of samples, and monitor swelling dynamics of clay minerals in real time. Cation exchange experiments were conducted monitoring the swelling change of individual nontronite quasi-crystals as the chemical composition of the surrounding environment was manipulated several times. A proof of concept study has shown that the changes in swelling are from the exchange of interlayer cations and not from the mechanical force of replacing the solution in the fluid cell. A series of attenuated total internal reflection Fourier transform infrared spectroscopy (ATR-FTIR) experiments were performed to gain a better understanding of the organization of water within the interlayer region of two Fe-bearing clay minerals. These experiments made use of the Subtractive Kramers-Kronig (SKK) Transform and the calculation of difference spectra to obtain information about interfacial water hidden within the absorption bands of bulk water. The results indicate that the reduction of structural iron disrupts the organization of water around a strongly hydrated cation such as sodium as the cation transitions from an outer-sphere complex with the mineral surface to an inner-sphere complex. In the case of a less strongly hydrated cation such as potassium, reduction of structural iron actually increases the ordering of water molecules at the mineral surface. These effects were only noticed with the reduction of iron in the tetrahedral sheet close to the basal surface where the increased charge density is localized closer to the cations in the interlayer.

Relative contributions of connexins 40 and 43 to atrial impulse propagation in synthetic strands of neonatal and fetal murine cardiomyocytes

Atrial tissue expresses both connexin 40 (Cx40) and 43 (Cx43) proteins. To assess the relative roles of Cx40 and Cx43 in atrial electrical propagation, we synthesized cultured strands of atrial myocytes derived from mice with genetic deficiency in Cx40 or Cx43 expression and measured propagation velocity (PV) by high-resolution optical mapping of voltage-sensitive dye fluorescence. The amount of Cx40 and/or Cx43 in gap junctions was measured by immunohistochemistry and total or sarcolemmal Cx43 or Cx40 protein by immunoblotting. Progressive genetic reduction in Cx43 expression decreased PV from 34+/-6 cm/sec in Cx43(+/+) to 30+/-8 cm/sec in Cx43(+/-) and 19+/-11 cm/sec in Cx43(-/-) cultures. Concomitantly, the cell area occupied by Cx40 immunosignal in gap junctions decreased from 2.0+/-1.6% in Cx43(+/+) to 1.7+/-0.5% in Cx43(+/-) and 1.0+/-0.2% in Cx43(-/-) strands. In contrast, progressive genetic reduction in Cx40 expression increased PV from 30+/-2 cm/sec in Cx40(+/+) to 40+/-7 cm/sec in Cx40(+/-) and 45+/-10 cm/sec in Cx40(-/-) cultures. Concomitantly, the cell area occupied by Cx43 immunosignal in gap junctions increased from 1.2+/-0.9% in Cx40(+/+) to 2.8+/-1.4% in Cx40(+/-) and 3.1+/-0.6% in Cx40(-/-) cultures. In accordance with the immunostaining results, immunoblots of the Triton X-100-insoluble fraction revealed an increase of Cx43 in gap junctions in extracts from Cx40-ablated atria, whereas total cellular Cx43 remained unchanged. Our results suggest that the relative abundance of Cx43 and Cx40 is an important determinant of atrial impulse propagation in neonatal hearts, whereby dominance of Cx40 decreases and dominance of Cx43 increases local propagation velocity.

Inhibition of hepatic tumor cell proliferation in vitro and tumor growth in vivo by taltobulin, a synthetic analogue of the tripeptide hemiasterlin

AIM: To investigate the inhibitory effects of taltobulin (HTI-286), a synthetic analogue of natural hemiasterlin derived from marine sponges, on hepatic tumor growth in vitro and in vivo. METHODS: The potential anti-proliferative effects of HTI-286 on different hepatic tumor cell lines in vitro and in vivo were examined. RESULTS: HTI-286 significantly inhibited proliferation of all three hepatic tumor cell lines (mean IC50 = 2 nmol/L +/- 1 nmol/L) in vitro. Interestingly, no decrease in viable primary human hepatocytes (PHH) was detected under HTI-286 exposure. Moreover, intravenous administration of HTI-286 significantly inhibited tumor growth in vivo (rat allograft model). CONCLUSION: HTI-286 might be considered a potent promising drug in treatment of liver malignancies. HTI-286 is currently undergoing clinical evaluation in cancer patients.

Concentration- and time-dependent effects of the synthetic estrogen, 17alpha-ethinylestradiol, on reproductive capabilities of the zebrafish, Danio rerio

Partial or full life-cycle tests are needed to assess the potential of endocrine-disrupting compounds (EDCs) to adversely affect development and reproduction of fish. Small fish species such as zebrafish, Danio rerio, are under consideration as model organisms for appropriate test protocols. The present study examines how reproductive effects resulting from exposure of zebrafish to the synthetic estrogen 17alpha-ethinylestradiol (EE2) vary with concentration (0.05 to 10 ng EE2 L(-1), nominal), and with timing/duration of exposure (partial life-cycle, full life-cycle, and two-generation exposure). Partial life-cycle exposure of the parental (F1) generation until completion of gonad differentiation (0-75 d postfertilization, dpf) impaired juvenile growth, time to sexual maturity, adult fecundity (egg production/female/day), and adult fertilization success at 1.1 ng EE2 L(-1) and higher. Lifelong exposure of the F1 generation until 177 dpf resulted in lowest observed effect concentrations (LOECs) for time to sexual maturity, fecundity, and fertilization success identical to those of the developmental test (0-75 dpf), but the slope of the concentration-response curve was steeper. Reproduction of zebrafish was completely inhibited at 9.3 ng EE2 L(-1), and this was essentially irreversible as a 3-mo depuration restored fertilization success to only a very low rate. Accordingly, elevated endogenous vitellogenin (VTG) synthesis and degenerative changes in gonad morphology persisted in depurated zebrafish. Full life-cycle exposure of the filial (F2) generation until 162 dpf impaired growth, delayed onset of spawning and reduced fecundity and fertilization success at 2.0 ng EE2 L(-1). In conclusion, results show that the impact of estrogenic agents on zebrafish sexual development and reproductive functions as well as the reversibility of effects, varies with exposure concentration (reversibility at < or = 1.1 ng EE2 L(-1) and irreversibility at 9.3 ng EE2 L(-1)), and between partial and full life-cycle exposure (exposure to 10 ng EE2 L(-1) during critical period exerted no permanent effect on sexual differentiation, but life-cycle exposure did).

DESIGN AND SYNTHESIS OF NOVEL SYNTHETIC ANTIOXIDANTS FOR THE TREATMENT OF OXIDATIVE STRESS RELATED DISEASES

Free radicals play an important role in many physiological processes that occur in the human body such as cellular defense responses to infectious agents and a variety of cellular signaling pathways. While at low concentrations free radicals are involved in many significant metabolic reactions, high levels of free radicals can have deleterious effects on biomolecules like proteins, lipids, and DNA. Many physiological disorders such as diabetes, ageing, neurodegenerative diseases, and ischemia-reperfusion (I/R) injury are associated with oxidative stress.1 In particular, the deleterious effects caused by I/R injury developed during organ transplantation, cardiac infarct, and stroke have become the main cause of death in the United States and Europe.1,2 In this context, we synthesized and characterized a series of novel indole-amino acid conjugates as potential antioxidants for I/R injury. The synthesis of indole-phenol conjugate compounds is also discussed. Phenolic derivatives such as caffeic acid, butylated hydroxytoluene (BHT), butylated hydroxyanisole (BHA), resveratrol, and its analogues are known for their significant antioxidative properties. A series of resveratrol analogues have been designed and synthesized as potential antioxidants. The radical scavenging mechanisms for potential antioxidants and assays for the in vitro evaluation of antioxidant activities are also discussed.