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\u27s 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\u27s 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

12(th )international conference on human retrovirology: HTLV and related retroviruses

The 12(th )International Conference on Human Retrovirology: HTLV and Related Retroviruses, was held at the Half Moon Hotel in Montego Bay, Jamaica, from June 22(nd )to June 25(th )2005. The scientific conference, sponsored by the International Retrovirology Association, is held biennially at rotating international venues around the world. The meeting brings together basic scientists, epidemiologists and clinical researchers to discuss findings to prevent HTLV infection or develop new therapies against HTLV-mediated diseases. The Association fosters the education and training of young scientists to bring new approaches to the complex problems of HTLV research, such as translational research to bring findings from the laboratory into clinical trials that benefit HTLV-infected patients. The breadth and quality of research presentations and workshops at the 12(th )International Conference indicate that these goals are being accomplished. As HTLV research enters its third decade a new generation of scientists face many challenges. However, HTLV scientists and clinicians displayed exciting new approaches and discoveries during plenary talks and poster sessions. The conference encouraged research in HTLV infections and disease, fostered collaborations, and stimulated new partnerships between clinicians and scientists to encourage clinical trials and novel therapeutic interventions

Coordinate enhancement of transgene transcription and translation in a lentiviral vector

BACKGROUND: Coordinate enhancement of transgene transcription and translation would be a potent approach to significantly improve protein output in a broad array of viral vectors and nonviral expression systems. Many vector transgenes are complementary DNA (cDNA). The lack of splicing can significantly reduce the efficiency of their translation. Some retroviruses contain a 5' terminal post-transcriptional control element (PCE) that facilitates translation of unspliced mRNA. Here we evaluated the potential for spleen necrosis virus PCE to stimulate protein production from HIV-1 based lentiviral vector by: 1) improving translation of the internal transgene transcript; and 2) functionally synergizing with a transcriptional enhancer to achieve coordinate increases in RNA synthesis and translation. RESULTS: Derivatives of HIV-1 SIN self-inactivating lentiviral vector were created that contain PCE and cytomegalovirus immediate early enhancer (CMV IE). Results from transfected cells and four different transduced cell types indicate that: 1) PCE enhanced transgene protein synthesis; 2) transcription from the internal promoter is enhanced by CMV IE; 3) PCE and CMV IE functioned synergistically to significantly increase transgene protein yield; 4) the magnitude of translation enhancement by PCE was similar in transfected and transduced cells; 5) differences were observed in steady state level of PCE vector RNA in transfected and transduced cells; 6) the lower steady state was not attributable to reduced RNA stability, but to lower cytoplasmic accumulation in transduced cells. CONCLUSION: PCE is a useful tool to improve post-transcriptional expression of lentiviral vector transgene. Coordinate enhancement of transcription and translation is conferred by the combination of PCE with CMV IE transcriptional enhancer and increased protein yield up to 11 to 17-fold in transfected cells. The incorporation of the vector provirus into chromatin correlated with reduced cytoplasmic accumulation of PCE transgene RNA. We speculate that epigenetic modulation of promoter activity altered cotranscriptional recruitment of RNA processing factors and reduced the availability of fully processed transcript or the efficiency of export from the nucleus. Our results provide an example of the dynamic interplay between the transcription and post-transcription steps of gene expression and document that introduction of heterologous gene expression signals can yield disparate effects in transfected versus transduced cells

Density Conversion between 1-D and 3-D Stellar Models with 1D-MESA2HYDRO-3D

We present 1D-MESA2HYDRO-3D, an open source, Python-based software tool that provides an accessible means of generating physically motivated initial conditions (ICs) for hydrodynamical simulations from 1-D stellar structure models. We test 1D-MESA2HYDRO-3D on five stellar models generated with the MESA stellar evolution code and verify its capacity as an IC generator with the Phantom smoothed-particle hydrodynamics code \citep{MESAIV, Phantom}. Consistency between the input density profiles, the 1D-MESA2HYDRO-3D-rendered particle distributions, and the state of the distributions after evolution over $10$ dynamical timescales is found for model stars ranging in structure and density from a radially extended supergiant to a white dwarf.Comment: Accepted to ApJ; 14 pages, 13 figure

Human T-cell leukemia virus type 2 post-transcriptional control protein p28 is required for viral infectivity and persistence in vivo

Background: Human T-cell leukemia virus (HTLV) type 1 and type 2 are related but distinct pathogenic complex retroviruses. HTLV-1 is associated with adult T-cell leukemia and a variety of immune-mediated disorders including the chronic neurological disease termed HTLV-1-associated myelopathy/tropical spastic paraparesis. In contrast, HTLV-2 displays distinct biological differences and is much less pathogenic, with only a few reported cases of leukemia and neurological disease associated with infection. In addition to the structural and enzymatic proteins, HTLV encodes regulatory (Tax and Rex) and accessory proteins. Tax and Rex positively regulate virus production and are critical for efficient viral replication and pathogenesis. Using an over-expression system approach, we recently reported that the accessory gene product of the HTLV-1 and HTLV-2 open reading frame (ORF) II (p30 and p28, respectively) acts as a negative regulator of both Tax and Rex by binding to and retaining their mRNA in the nucleus, leading to reduced protein expression and virion production. Further characterization revealed that p28 was distinct from p30 in that it was devoid of major transcriptional modulating activity, suggesting potentially divergent functions that may be responsible for the distinct pathobiologies of HTLV-1 and HTLV-2. Results: In this study, we investigated the functional significance of p28 in HTLV-2 infection, proliferation, and immortaliztion of primary T-cells in culture, and viral survival in an infectious rabbit animal model. An HTLV-2 p28 knockout virus (HTLV-2Δp28) was generated and evaluated. Infectivity and immortalization capacity of HTLV-2Δp28 in vitro was indistinguishable from wild type HTLV-2. In contrast, we showed that viral replication was severely attenuated in rabbits inoculated with HTLV-2Δp28 and the mutant virus failed to establish persistent infection. Conclusion: We provide direct evidence that p28 is dispensable for viral replication and cellular immortalization of primary T-lymphocytes in cell culture. However, our data indicate that p28 function is critical for viral survival in vivo. Our results are consistent with the hypothesis that p28 repression of Tax and Rex-mediated viral gene expression may facilitate survival of these cells by down-modulating overall viral gene expression

Hardware Synthesis from a Recursive Functional Language

Abstraction in hardware description languages stalled at the register-transfer level decades ago, yet few alternatives have had much success, in part because they provide only modest gains in expressivity. We propose to make a much larger jump: a compiler that synthesizes hardware from behavioral functional specifications. Our compiler translates general Haskell programs into a restricted intermediate representation before applying a series of semantics-preserving transformations, concluding with a simple syntax-directed translation to SystemVerilog. Here, we present the overall framework for this compiler, focusing on the IRs involved and our method for translating general recursive functions into equivalent hardware. We conclude with experimental results that depict the performance and resource usage of the circuitry generated with our compiler

Human T-lymphotropic virus type-1 p30 alters cell cycle G2 regulation of T lymphocytes to enhance cell survival

<p>Abstract</p> <p>Background</p> <p>Human T-lymphotropic virus type-1 (HTLV-1) causes adult T-cell leukemia/lymphoma and is linked to a number of lymphocyte-mediated disorders. HTLV-1 contains both regulatory and accessory genes in four pX open reading frames. pX ORF-II encodes two proteins, p13 and p30, whose roles are still being defined in the virus life cycle and in HTLV-1 virus-host cell interactions. Proviral clones of HTLV-1 with pX ORF-II mutations diminish the ability of the virus to maintain viral loads <it>in vivo</it>. p30 expressed exogenously differentially modulates CREB and Tax-responsive element-mediated transcription through its interaction with CREB-binding protein/p300 and while acting as a repressor of many genes including Tax, in part by blocking tax/rex RNA nuclear export, selectively enhances key gene pathways involved in T-cell signaling/activation.</p> <p>Results</p> <p>Herein, we analyzed the role of p30 in cell cycle regulation. Jurkat T-cells transduced with a p30 expressing lentivirus vector accumulated in the G2-M phase of cell cycle. We then analyzed key proteins involved in G2-M checkpoint activation. p30 expression in Jurkat T-cells resulted in an increase in phosphorylation at serine 216 of nuclear cell division cycle 25C (Cdc25C), had enhanced checkpoint kinase 1 (Chk1) serine 345 phosphorylation, reduced expression of polo-like kinase 1 (PLK1), diminished phosphorylation of PLK1 at tyrosine 210 and reduced phosphorylation of Cdc25C at serine 198. Finally, primary human lymphocyte derived cell lines immortalized by a HTLV-1 proviral clone defective in p30 expression were more susceptible to camptothecin induced apoptosis. Collectively these data are consistent with a cell survival role of p30 against genotoxic insults to HTLV-1 infected lymphocytes.</p> <p>Conclusion</p> <p>Collectively, our data are the first to indicate that HTLV-1 p30 expression results in activation of the G2-M cell cycle checkpoint, events that would promote early viral spread and T-cell survival.</p