Synthesizing Instruction Selection

Instruction selection is the part in a compiler that transforms IR code into machine code. Instruction selectors build on a library of hundreds if not thousands of rules. Creating and maintaining these rules is a tedious and error-prone manual process. In this paper, we present a fully automatic approach to create provably correct rule libraries from formal specifications of the instruction set architecture and the compiler IR using template-based counter-example guided synthesis (CEGIS). Thereby, we overcome several shortcomings of an existing SMT-based CEGIS approach, which was not applicable to our setting in the first place.We propose a novel way of handling memory operations and show how the search space can be iteratively explored to synthesize rules that are relevant for instruction selection. Our approach synthesized a large part of the integer arithmetic rules for the x86 architecture within a few days where existing techniques could not deliver a substantial rule library within weeks. With respect to the runtime of the compiled programs, we show that the synthesized rules are close to a manually-tuned instruction selector

HIV-1 Nef Interferes with Host Cell Motility by Deregulation of Cofilin

SummaryHIV-1 Nef is a key factor in AIDS pathogenesis. Here, we report that Nef potently inhibits motility of fibroblasts and chemotaxis of HIV-1-infected primary human T lymphocytes toward the chemokines SDF-1α, CCL-19, and CCL-21 ex vivo. Furthermore, Nef inhibits guided motility of zebrafish primordial germ cells toward endogenous SDF-1a in vivo. These migration defects result from Nef-mediated inhibition of the actin remodeling normally triggered by migratory stimuli. Nef strongly induces phosphorylation of cofilin, inactivating this evolutionarily conserved actin-depolymerizing factor that promotes cell motility when unphosphorylated. Nef-dependent cofilin deregulation requires association of Nef with the cellular kinase Pak2. Disruption of Nef-Pak2 association restores the cofilin phosphorylation levels and actin remodeling that facilitate cell motility. We conclude that HIV-1 Nef alters Pak2 function, which directly or indirectly inactivates cofilin, thereby restricting migration of infected T lymphocytes as part of a strategy to optimize immune evasion and HIV-1 replication

Разработка технологии изготовления детали «Крышка»

Цели и задачи исследования: разработка технологического процесса изготовления детали крышка и конструирование приспособления. Актуальность работы определяется необходимостью разработки технологического процесса изготовления конкретной детали "Крышка", который обеспечивает требуемую точность. Объектом исследования является деталь "Крышка".Goals and objectives of the research: development of a technological process for manufacturing a part of a cover and design of a device. The relevance of the work is determined by the need to develop a technological process for the manufacture of a specific "Cover" part, which provides the required accuracy. The object of research is the "Cover" detail

A Novel Unsupervised Method to Identify Genes Important in the Anti-viral Response: Application to Interferon/Ribavirin in Hepatitis C Patients

Background: Treating hepatitis C with interferon/ribavirin results in a varied response in terms of decrease in viral titer and ultimate outcome. Marked responders have a sharp decline in viral titer within a few days of treatment initiation, whereas in other patients there is no effect on the virus (poor responders). Previous studies have shown that combination therapy modifies expression of hundreds of genes in vitro and in vivo. However, identifying which, if any, of these genes have a role in viral clearance remains challenging. Aims: The goal of this paper is to link viral levels with gene expression and thereby identify genes that may be responsible for early decrease in viral titer. Methods: Microarrays were performed on RNA isolated from PBMC of patients undergoing interferon/ribavirin therapy. Samples were collected at pre-treatment (day 0), and 1, 2, 7, 14 and 28 days after initiating treatment. A novel method was applied to identify genes that are linked to a decrease in viral titer during interferon/ribavirin treatment. The method uses the relationship between inter-patient gene expression based proximities and inter-patient viral titer based proximities to define the association between microarray gene expression measurements of each gene and viral-titer measurements. Results: We detected 36 unique genes whose expressions provide a clustering of patients that resembles viral titer based clustering of patients. These genes include IRF7, MX1, OASL and OAS2, viperin and many ISG's of unknown function. Conclusion: The genes identified by this method appear to play a major role in the reduction of hepatitis C virus during the early phase of treatment. The method has broad utility and can be used to analyze response to any group of factors influencing biological outcome such as antiviral drugs or anti-cancer agents where microarray data are available. © 2007 Brodsky et al

Cost-effectiveness of non-invasive methods for assessment and monitoring of liver fibrosis and cirrhosis in patients with chronic liver disease: systematic review and economic evaluation

BACKGROUND: Liver biopsy is the reference standard for diagnosing the extent of fibrosis in chronic liver disease; however, it is invasive, with the potential for serious complications. Alternatives to biopsy include non-invasive liver tests (NILTs); however, the cost-effectiveness of these needs to be established. OBJECTIVE: To assess the diagnostic accuracy and cost-effectiveness of NILTs in patients with chronic liver disease. DATA SOURCES: We searched various databases from 1998 to April 2012, recent conference proceedings and reference lists. METHODS: We included studies that assessed the diagnostic accuracy of NILTs using liver biopsy as the reference standard. Diagnostic studies were assessed using the Quality Assessment of Diagnostic Accuracy Studies (QUADAS-2) tool. Meta-analysis was conducted using the bivariate random-effects model with correlation between sensitivity and specificity (whenever possible). Decision models were used to evaluate the cost-effectiveness of the NILTs. Expected costs were estimated using a NHS perspective and health outcomes were measured as quality-adjusted life-years (QALYs). Markov models were developed to estimate long-term costs and QALYs following testing, and antiviral treatment where indicated, for chronic hepatitis B (HBV) and chronic hepatitis C (HCV). NILTs were compared with each other, sequential testing strategies, biopsy and strategies including no testing. For alcoholic liver disease (ALD), we assessed the cost-effectiveness of NILTs in the context of potentially increasing abstinence from alcohol. Owing to a lack of data and treatments specifically for fibrosis in patients with non-alcoholic fatty liver disease (NAFLD), the analysis was limited to an incremental cost per correct diagnosis. An analysis of NILTs to identify patients with cirrhosis for increased monitoring was also conducted. RESULTS: Given a cost-effectiveness threshold of £20,000 per QALY, treating everyone with HCV without prior testing was cost-effective with an incremental cost-effectiveness ratio (ICER) of £9204. This was robust in most sensitivity analyses but sensitive to the extent of treatment benefit for patients with mild fibrosis. For HBV [hepatitis B e antigen (HBeAg)-negative)] this strategy had an ICER of £28,137, which was cost-effective only if the upper bound of the standard UK cost-effectiveness threshold range (£30,000) is acceptable. For HBeAg-positive disease, two NILTs applied sequentially (hyaluronic acid and magnetic resonance elastography) were cost-effective at a £20,000 threshold (ICER: £19,612); however, the results were highly uncertain, with several test strategies having similar expected outcomes and costs. For patients with ALD, liver biopsy was the cost-effective strategy, with an ICER of £822. LIMITATIONS: A substantial number of tests had only one study from which diagnostic accuracy was derived; therefore, there is a high risk of bias. Most NILTs did not have validated cut-offs for diagnosis of specific fibrosis stages. The findings of the ALD model were dependent on assuptions about abstinence rates assumptions and the modelling approach for NAFLD was hindered by the lack of evidence on clinically effective treatments. CONCLUSIONS: Treating everyone without NILTs is cost-effective for patients with HCV, but only for HBeAg-negative if the higher cost-effectiveness threshold is appropriate. For HBeAg-positive, two NILTs applied sequentially were cost-effective but highly uncertain. Further evidence for treatment effectiveness is required for ALD and NAFLD. STUDY REGISTRATION: This study is registered as PROSPERO CRD42011001561. FUNDING: The National Institute for Health Research Health Technology Assessment programme

Comparison of eye tracking, electrooculography and an auditory brain-computer interface for binary communication: a case study with a participant in the locked-in state

Background In this study, we evaluated electrooculography (EOG), an eye tracker and an auditory brain-computer interface (BCI) as access methods to augmentative and alternative communication (AAC). The participant of the study has been in the locked-in state (LIS) for 6 years due to amyotrophic lateral sclerosis. He was able to communicate with slow residual eye movements, but had no means of partner independent communication. We discuss the usability of all tested access methods and the prospects of using BCIs as an assistive technology. Methods Within four days, we tested whether EOG, eye tracking and a BCI would allow the participant in LIS to make simple selections. We optimized the parameters in an iterative procedure for all systems. Results The participant was able to gain control over all three systems. Nonetheless, due to the level of proficiency previously achieved with his low-tech AAC method, he did not consider using any of the tested systems as an additional communication channel. However, he would consider using the BCI once control over his eye muscles would no longer be possible. He rated the ease of use of the BCI as the highest among the tested systems, because no precise eye movements were required; but also as the most tiring, due to the high level of attention needed to operate the BCI. Conclusions In this case study, the partner based communication was possible due to the good care provided and the proficiency achieved by the interlocutors. To ease the transition from a low-tech AAC method to a BCI once control over all muscles is lost, it must be simple to operate. For persons, who rely on AAC and are affected by a progressive neuromuscular disease, we argue that a complementary approach, combining BCIs and standard assistive technology, can prove valuable to achieve partner independent communication and ease the transition to a purely BCI based approach. Finally, we provide further evidence for the importance of a user-centered approach in the design of new assistive devices

Fat tissue, aging, and cellular senescence

Fat tissue, frequently the largest organ in humans, is at the nexus of mechanisms involved in longevity and age-related metabolic dysfunction. Fat distribution and function change dramatically throughout life. Obesity is associated with accelerated onset of diseases common in old age, while fat ablation and certain mutations affecting fat increase life span. Fat cells turn over throughout the life span. Fat cell progenitors, preadipocytes, are abundant, closely related to macrophages, and dysdifferentiate in old age, switching into a pro-inflammatory, tissue-remodeling, senescent-like state. Other mesenchymal progenitors also can acquire a pro-inflammatory, adipocyte-like phenotype with aging. We propose a hypothetical model in which cellular stress and preadipocyte overutilization with aging induce cellular senescence, leading to impaired adipogenesis, failure to sequester lipotoxic fatty acids, inflammatory cytokine and chemokine generation, and innate and adaptive immune response activation. These pro-inflammatory processes may amplify each other and have systemic consequences. This model is consistent with recent concepts about cellular senescence as a stress-responsive, adaptive phenotype that develops through multiple stages, including major metabolic and secretory readjustments, which can spread from cell to cell and can occur at any point during life. Senescence could be an alternative cell fate that develops in response to injury or metabolic dysfunction and might occur in nondividing as well as dividing cells. Consistent with this, a senescent-like state can develop in preadipocytes and fat cells from young obese individuals. Senescent, pro-inflammatory cells in fat could have profound clinical consequences because of the large size of the fat organ and its central metabolic role

Accelerometer-based physical activity in a large observational cohort - study protocol and design of the activity and function of the elderly in Ulm (ActiFE Ulm) study

<p>Abstract</p> <p>Background</p> <p>A large number of studies have demonstrated a positive effect of increased physical activity (PA) on various health outcomes. In all large geriatric studies, however, PA has only been assessed by interview-based instruments which are all subject to substantial bias. This may represent one reason why associations of PA with geriatric syndromes such as falls show controversial results. The general aim of the Active-Ulm study was to determine the association of accelerometer-based physical activity with different health-related parameters, and to study the influence of this standardized objective measure of physical activity on health- and disability-related parameters in a longitudinal setting.</p> <p>Methods</p> <p>We have set up an observational cohort study in 1500 community dwelling older persons (65 to 90 years) stratified by age and sex. Addresses have been obtained from the local residents registration offices. The study is carried out jointly with the IMCA - Respiratory Health Survey in the Elderly implemented in the context of the European project IMCA II. The study has a cross-sectional part (1) which focuses on PA and disability and two longitudinal parts (2) and (3). The primary information for part (2) is a prospective 1 year falls calendar including assessment of medication change. Part (3) will be performed about 36 months following baseline. Primary variables of interest include disability, PA, falls and cognitive function. Baseline recruitment has started in March 2009 and will be finished in April 2010.</p> <p>All participants are visited three times within one week, either at home or in the study center. Assessments included interviews on quality of life, diagnosed diseases, common risk factors as well as novel cognitive tests and established tests of physical functioning. PA is measured using an accelerometer-based sensor device, carried continuously over a one week period and accompanied by a prospective activity diary.</p> <p>Discussion</p> <p>The assessment of PA using a high standard accelerometer-based device is feasible in a large population-based study. The results obtained from cross-sectional and longitudinal analyses will shed light on important associations between PA and various outcomes and may provide information for specific interventions in older people.</p

Synthesizing an instruction selection rule library from semantic specifications

This is the software accompanying the paper of the same name, to appear at CGO 2018. The goal of the software is to automatically synthesize rules for translating a compiler's intermediate representation into the assembly language of a processor (a process called “instruction selection”). The software is distributed along with benchmarks in a Docker container. For some benchmarks, a copy of the SPEC CPU2000 benchmark suite is required.This work was supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Centre "Invasive Computing" (SFB/TR 89)