Towards optimization-safe systems: analyzing the impact of undefined behavior

This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program. Unstable code is present in many systems, including the Linux kernel and the Postgres database. The consequences of unstable code range from incorrect functionality to missing security checks. To reason about unstable code, this paper proposes a novel model, which views unstable code in terms of optimizations that leverage undefined behavior. Using this model, we introduce a new static checker called Stack that precisely identifies unstable code. Applying Stack to widely used systems has uncovered 160 new bugs that have been confirmed and fixed by developers.United States. Defense Advanced Research Projects Agency (DARPA Clean-slate design of Resilient, Adaptive, Secure Hosts (CRASH) program under contract #N66001-10-2-4089)National Science Foundation (U.S.) (NSF award CNS-1053143

Agronomic characteristics of the spring forms of the wheat landraces (einkorn, emmer, spelt, intermediate bread wheat) grown in organic farming

Organic farmers look to the possibilities of growing neglected crops, such as the spring forms of hulled wheat – einkorn, emmer and spelt – for support in developing the organic farming system. In 2008, 169 landraces from the gene bank at the Crop Research Institute in Prague were tested on certifi ed organic plots. The experiment was aimed at fi nding suitable varieties for the organic farming system. In summary, our fi ndings show that einkorn (Triticum monococcum L.) and emmer wheat [Triticum dicoccum Schrank (Schuebl)] are resistant to powdery mildew and brown rust, spelt wheat (Triticum spelta L.) is less resistant to these two diseases, and the intermediate forms of bread wheat are very sensitive to such infestation. The varieties evaluated incline to lodging, as they have long and weak stems. Einkorn and emmer wheat have short and dense spikes and a low thousand grains weight, whereas spelt wheat has long and lax spikes. The level of the harvest index is low. Potentially useful varieties were found during the fi eld experiment and evaluation, and our future efforts will therefore focus on improving resistance to lodging and increasing the productivity of the spike

Genetic adaptation to high altitude in the Ethiopian highlands

Background: Genomic analysis of high-altitude populations residing in the Andes and Tibet has revealed several candidate loci for involvement in high-altitude adaptation, a subset of which have also been shown to be associated with hemoglobin levels, including EPAS1, EGLN1, and PPARA, which play a role in the HIF-1 pathway. Here, we have extended this work to high- and low-altitude populations living in Ethiopia, for which we have measured hemoglobin levels. We genotyped the Illumina 1M SNP array and employed several genome wide scans for selection and targeted association with hemoglobin levels to identify genes that play a role in adaptation to high altitude. Results: We have identified a set of candidate genes for positive selection in our high-altitude population sample, demonstrated significantly different hemoglobin levels between high- and low-altitude Ethiopians and have identified a subset of candidate genes for selection, several of which also show suggestive associations with hemoglobin levels. Conclusions: We highlight several candidate genes for involvement in high-altitude adaptation in Ethiopia, including CBARA1, VAV3, ARNT2 and THRB. Although most of these genes have not been identified in previous studies of high-altitude Tibetan or Andean population samples, two of these genes (THRB and ARNT2) play a role in the HIF-1 pathway, a pathway implicated in previous work reported in Tibetan and Andean studies. These combined results suggest that adaptation to high altitude arose independently due to convergent evolution in high-altitude Amhara populations in Ethiopia

Mapping of Mycobacterium tuberculosis Complex Genetic Diversity Profiles in Tanzania and Other African Countries

The aim of this study was to assess and characterize Mycobacterium tuberculosis complex (MTBC) genotypic diversity in Tanzania, as well as in neighbouring East and other several African countries. We used spoligotyping to identify a total of 293 M. tuberculosis clinical isolates (one isolate per patient) collected in the Bunda, Dar es Salaam, Ngorongoro and Serengeti areas in Tanzania. The results were compared with results in the SITVIT2 international database of the Pasteur Institute of Guadeloupe. Genotyping and phylogeographical analyses highlighted the predominance of the CAS, T, EAI, and LAM MTBC lineages in Tanzania. The three most frequent Spoligotype International Types (SITs) were: SIT21/CAS1-Kili (n = 76; 25.94%), SIT59/LAM11-ZWE (n = 22; 7.51%), and SIT126/EAI5 tentatively reclassified as EAI3-TZA (n = 18; 6.14%). Furthermore, three SITs were newly created in this study (SIT4056/EAI5 n = 2, SIT4057/T1 n = 1, and SIT4058/EAI5 n = 1). We noted that the East-African-Indian (EAI) lineage was more predominant in Bunda, the Manu lineage was more common among strains isolated in Ngorongoro, and the Central-Asian (CAS) lineage was more predominant in Dar es Salaam (p-value<0.0001). No statistically significant differences were noted when comparing HIV status of patients vs. major lineages (p-value = 0.103). However, when grouping lineages as Principal Genetic Groups (PGG), we noticed that PGG2/3 group (Haarlem, LAM, S, T, and X) was more associated with HIV-positive patients as compared to PGG1 group (Beijing, CAS, EAI, and Manu) (p-value = 0.03). This study provided mapping of MTBC genetic diversity in Tanzania (containing information on isolates from different cities) and neighbouring East African and other several African countries highlighting differences as regards to MTBC genotypic distribution between Tanzania and other African countries. This work also allowed underlining of spoligotyping patterns tentatively grouped within the newly designated EAI3-TZA lineage (remarkable by absence of spacers 2 and 3, and represented by SIT126) which seems to be specific to Tanzania. However, further genotyping information would be needed to confirm this specificity

Epidemiologic investigation of immune-mediated polyradiculoneuropathy among abattoir workers exposed to porcine brain

Background In October 2007, a cluster of patients experiencing a novel polyradiculoneuropathy was identified at a pork abattoir (Plant A). Patients worked in the primary carcass processing area (warm room); the majority processed severed heads (head-table). An investigation was initiated to determine risk factors for illness. Methods and Results Symptoms of the reported patients were unlike previously described occupational associated illnesses. A case-control study was conducted at Plant A. A case was defined as evidence of symptoms of peripheral neuropathy and compatible electrodiagnostic testing in a pork abattoir worker. Two control groups were used - randomly selected non-ill warm-room workers (n = 49), and all non-ill head-table workers (n = 56). Consenting cases and controls were interviewed and blood and throat swabs were collected. The 26 largest U.S. pork abattoirs were surveyed to identify additional cases. Fifteen cases were identified at Plant A; illness onsets occurred during May 2004–November 2007. Median age was 32 years (range, 21–55 years). Cases were more likely than warm-room controls to have ever worked at the head-table (adjusted odds ratio [AOR], 6.6; 95% confidence interval [CI], 1.6–26.7), removed brains or removed muscle from the backs of heads (AOR, 10.3; 95% CI, 1.5–68.5), and worked within 0–10 feet of the brain removal operation (AOR, 9.9; 95% CI, 1.2–80.0). Associations remained when comparing head-table cases and head-table controls. Workers removed brains by using compressed air that liquefied brain and generated aerosolized droplets, exposing themselves and nearby workers. Eight additional cases were identified in the only two other abattoirs using this technique. The three abattoirs that used this technique have stopped brain removal, and no new cases have been reported after 24 months of follow up. Cases compared to controls had higher median interferon-gamma (IFNγ) levels (21.7 pg/ml; vs 14.8 pg/ml, P<0.001). Discussion This novel polyradiculoneuropathy was associated with removing porcine brains with compressed air. An autoimmune mechanism is supported by higher levels of IFNγ in cases than in controls consistent with other immune mediated illnesses occurring in association with neural tissue exposure. Abattoirs should not use compressed air to remove brains and should avoid procedures that aerosolize CNS tissue. This outbreak highlights the potential for respiratory or mucosal exposure to cause an immune-mediated illness in an occupational setting