Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs

Are we willing to give what it takes? Willingness to pay for climate change adaptation in developing countries

Climate change adaptation is gaining traction as a necessary policy alongside mitigation, particularly for developing countries, many of which lack the resources to adapt. However, funding for developing country adaptation remains woefully inadequate. This paper identifies the burden of responsibility that individuals in the UK are willing to incur in support of adaptation projects in developing countries. Results from a nationally representative survey indicate that UK residents are willing to contribute £27 per year (or a median of £6 per year) towards developing country adaptation (US$30 and$7 using the World Bank’s purchasing power conversion factors). This represents less than one third of the back-of-the-envelope $100-140 per capita per year that the authors estimate would be needed to raise the$70-100bn per year recommended by the World Bank to fund developing country adaptation. Regressions indicate that WTP is driven mostly by a combination of beliefs and perceptions about one’s own knowledge levels, rather than actual knowledge of climate change. We conclude that, to engage the many different audiences that make up the ‘public’, communication efforts must move beyond the simple provision of information and instead, connect with people’s existing values and beliefs

Absence of association between behavior problems in childhood and hypertension in midlife

Background It is known that behavior in childhood is associated with certain physical and mental health problems in midlife. However, there is limited evidence on the role of childhood behavior problems in the development of hypertension in adulthood. The present study aimed to examine whether behavior problems in childhood influenced the risk of hypertension in midlife in the United Kingdom 1958 birth cohort. Methods The 1958 British birth cohort comprised 17,638 individuals born in the first week of March 1958 in the United Kingdom. Behavior problems were assessed at 7, 11, and 16 years of age by parents and teachers. At age 45, blood pressure was measured and hypertension was recorded if blood pressure was ≥140/90 mm Hg or if the participants were informed by their health professionals that they had high blood pressure. Behavioral information was reported according to the Rutter Children's Behaviour Questionnaire (RCBQ) and the Bristol Social Adjustment Guide (BSAG). Odds ratios (ORs) and 95% confidence intervals (CIs) were calculated to examine behavior problems in childhood in relation to hypertension at 45 years of age according to logistic regression analysis, with adjustment for sex, social class in childhood and adulthood, childhood cognition, birth weight, gestational age at birth, body mass index (BMI), smoking, alcohol consumption, and physical activity. Results Behavior problems reported by parents at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.93; 95% CI, 0.81, 1.07; OR, 0.95; 95% CI, 0.81, 1.11; OR, 0.98; 95% CI, 0.85, 1.12, respectively). Similarly, teacher-reported behavior problems at 7, 11, and 16 years were not associated with hypertension in midlife (OR, 0.92; 95% CI, 0.72, 1.18; OR, 0.92; 95% CI, 0.84, 1.02; OR, 1.03; 95% CI, 0.92, 1.15, respectively). Further separate analyses showed similar results for males and females. Conclusion There is no association between behavior problems in childhood and hypertension in midlife

Translation to practice: a randomised controlled study of an evidenced based booklet targeted at breast care nurses in the United Kingdom

BACKGROUND: In the United Kingdom (UK), it was documented that a problem of knowledge transfer existed within the speciality of breast-cancer care, thus depriving patients of receiving optimal care. Despite increasingly robust research evidence indicating recommendation of whole body exercise for people affected by breast cancer, commensurate changes to practice were not noted amongst breast-care nurses (BCNs). AIM: To evaluate the effect of a targeted booklet, Exercise and Breast Cancer: A Booklet for Breast-Care Nurses, on changes in knowledge, reported practice, and attitudes of BCNs in the UK. METHOD: A prospective, experimental approach was used for designing a pre- and post-test randomised controlled study. Comparisons of knowledge, reported practice, and attitudes based on responses to a questionnaire were made at two time-points in two groups of BCNs (control and experimental). The unit of randomisation and analysis was hospital clusters of BCNs. The sample comprised 92 nurses from 62 hospitals. Analysis consisted of descriptive statistics and clustered regression techniques: clustered logistic regression for knowledge items, clustered linear regression for knowledge scores, ologit for attitude and reported practice items, and clustered multiple regression for paired and multiple variable analysis. RESULTS: A statistically significant increase in knowledge and changes in reported practice and attitudes were found. Robust variables affecting knowledge acquisition were: promotion of health, promotion of exercise, and understanding how exercise can reduce cancer-related fatigue. DISCUSSION: The study has shown that evidence-based printed material, such as an information booklet, can be used as an effective research dissemination method when developed for needs, values, and context of a target audience. CONCLUSIONS: This practical approach to research dissemination could be replicated and applied to other groups of nurses.</p

Risk factors for high anti-HHV-8 antibody titers (≥1:51,200) in black, HIV-1 negative South African cancer patients: a case control study

Background: Infection with human herpesvirus 8 (HHV-8) is the necessary causal agent in the development of Kaposi's sarcoma (KS). Infection with HIV-1, male gender and older age all increase risk for KS. However, the geographic distribution of HHV-8 and KS both prior to the HIV/AIDS epidemic and with HIV/AIDS suggest the presence of an additional co-factor in the development of KS. Methods: Between January 1994 and October 1997, we interviewed 2576 black in-patients with cancer in Johannesburg and Soweto, South Africa. Blood was tested for antibodies against HIV-1 and HHV-8 and the study was restricted to 2191 HIV-1 negative patients. Antibodies against the latent nuclear antigen of HHV-8 encoded by orf73 were detected with an indirect immunofluorescence assay. We examined the relationship between high anti-HHV-8 antibody titers (≥1:51,200) and sociodemographic and behavioral factors using unconditional logistic regression models. Variables that were significant at p = 0.10 were included in multivariate analysis. Results: Of the 2191 HIV-1 negative patients who did not have Kaposi's sarcoma, 854 (39.0%) were positive for antibodies against HHV-8 according to the immunofluorescent assay. Among those seropositive for HHV-8, 530 (62.1%) had low titers (1:200), 227 (26.6%) had medium titers (1:51,200) and 97 (11.4%) had highest titers (1:204,800). Among the 2191 HIV-1 negative patients, the prevalence of high anti-HHV-8 antibody titers (≥1:51,200) was independently associated with increasing age (ptrend = 0.04), having a marital status of separated or divorced (p = 0.003), using wood, coal or charcoal as fuel for cooking 20 years ago instead of electricity (p = 0.02) and consuming traditional maize beer more than one time a week (p = 0.02; p-trend for increasing consumption = 0.05) although this may be due to chance given the large number of predictors considered in this analysis. Conclusions: Among HIV-negative subjects, patients with high anti-HHV-8 antibody titers are characterized by older age. Other associations that may be factors in the development of high anti- HHV-8 titers include exposure to poverty or a low socioeconomic status environment and consumption of traditional maize beer. The relationship between these variables and high anti- HHV-8 titers requires further, prospective study

RNA-Seq based phylogeny recapitulates previous phylogeny of the genus Flaveria (Asteraceae) with some modifications.

BACKGROUND: The genus Flaveria has been extensively used as a model to study the evolution of C4 photosynthesis as it contains C3 and C4 species as well as a number of species that exhibit intermediate types of photosynthesis. The current phylogenetic tree of the genus Flaveria contains 21 of the 23 known Flaveria species and has been previously constructed using a combination of morphological data and three non-coding DNA sequences (nuclear encoded ETS, ITS and chloroplast encoded trnL-F). RESULTS: Here we developed a new strategy to update the phylogenetic tree of 16 Flaveria species based on RNA-Seq data. The updated phylogeny is largely congruent with the previously published tree but with some modifications. We propose that the data collection method provided in this study can be used as a generic method for phylogenetic tree reconstruction if the target species has no genomic information. We also showed that a "F. pringlei" genotype recently used in a number of labs may be a hybrid between F. pringlei (C3) and F. angustifolia (C3-C4). CONCLUSIONS: We propose that the new strategy of obtaining phylogenetic sequences outlined in this study can be used to construct robust trees in a larger number of taxa. The updated Flaveria phylogenetic tree also supports a hypothesis of stepwise and parallel evolution of C4 photosynthesis in the Flavaria clade

C4 photosynthesis boosts growth by altering physiology, allocation and size.

C4 photosynthesis is a complex set of leaf anatomical and biochemical adaptations that have evolved more than 60 times to boost carbon uptake compared with the ancestral C3 photosynthetic type(1-3). Although C4 photosynthesis has the potential to drive faster growth rates(4,5), experiments directly comparing C3 and C4 plants have not shown consistent effects(1,6,7). This is problematic because differential growth is a crucial element of ecological theory(8,9) explaining C4 savannah responses to global change(10,11), and research to increase C3 crop productivity by introducing C4 photosynthesis(12). Here, we resolve this long-standing issue by comparing growth across 382 grass species, accounting for ecological diversity and evolutionary history. C4 photosynthesis causes a 19-88% daily growth enhancement. Unexpectedly, during the critical seedling establishment stage, this enhancement is driven largely by a high ratio of leaf area to mass, rather than fast growth per unit leaf area. C4 leaves have less dense tissues, allowing more leaves to be produced for the same carbon cost. Consequently, C4 plants invest more in roots than C3 species. Our data demonstrate a general suite of functional trait divergences between C3 and C4 species, which simultaneously drive faster growth and greater investment in water and nutrient acquisition, with important ecological and agronomic implications

Can the shadow economy undermine the effect of political stability on inflation? empirical evidence

This paper revisits the empirical relationship between political stability and inflation while explicitly accounting for the presence of the shadow economy. Using a large data set of 122 countries over the 1999 to 2007 period, we find that the well established negative correlation between political stability and inflation holds only if the size of the shadow economy remains modest; and it ceases to exist at higher levels of the size of the informal sector. This finding contributes to the existing literature on public finance that assigns special importance to political determinants of inflation. The results are robust against alternative specifications and satisfy the usual assumptions of a valid statistical inference

Health System Support for Childbirth care in Southern Tanzania: Results from a Health Facility Census.

Progress towards reaching Millennium Development Goals four (child health) and five (maternal health) is lagging behind, particularly in sub-Saharan Africa, despite increasing efforts to scale up high impact interventions. Increasing the proportion of birth attended by a skilled attendant is a main indicator of progress, but not much is known about the quality of childbirth care delivered by these skilled attendants. With a view to reducing maternal mortality through health systems improvement we describe the care routinely offered in childbirth offered at dispensaries, health centres and hospitals in five districts in rural Southern Tanzania. We use data from a health facility census assessing 159 facilities in five districts in early 2009. A structural and operational assessment was undertaken based on staff reports using a modular questionnaire assessing staffing, work load, equipment and supplies as well as interventions routinely implemented during childbirth. Health centres and dispensaries attended a median of eight and four deliveries every month respectively. Dispensaries had a median of 2.5 (IQR 2--3) health workers including auxiliary staff instead of the recommended four clinical officer and certified nurses. Only 28% of first-line facilities (dispensaries and health centres) reported offering active management in the third stage of labour (AMTSL). Essential childbirth care comprising eight interventions including AMTSL, infection prevention, partograph use including foetal monitoring and newborn care including early breastfeeding, thermal care at birth and prevention of ophthalmia neonatorum was offered by 5% of dispensaries, 38% of health centres and 50% of hospitals consistently. No first-line facility had provided all signal functions for emergency obstetric complications in the previous six months. Essential interventions for childbirth care are not routinely implemented in first-line facilities or hospitals. Dispensaries have both low staffing and low caseload which constraints the ability to provide high-quality childbirth care. Improvements in quality of care are essential so that women delivering in facility receive "skilled attendance" and adequate care for common obstetric complications such as post-partum haemorrhage

The diffusion of financial supervisory governance ideas

Who is watching the financial services industry? Since 1980, there have been multiple waves of thought about whether the ministry of finance, the central bank, a specialized regulator or some combination of these should have supervisory authority. These waves have been associated with the convergence of actual practices. How much and through what channels did internationally promoted ideas about supervisory 'best practice' influence institutional design choices? I use a new dataset of 83 countries and jurisdictions between the 1980s and 2007 to examine the diffusion of supervisory ideas. With this data, I employ Cox Proportional Hazard and Competing Risks Event History Analyses to evaluate the possible causal roles best practice policy ideas might have played. I find that banking crises and certain peer groups can encourage policy convergence on heavily promoted ideas