Generating Performance Portable Code using Rewrite Rules: From High-Level Functional Expressions to High-Performance OpenCL Code

Computers have become increasingly complex with the emergence of heterogeneous hardware combining multicore CPUs and GPUs. These parallel systems exhibit tremendous computational power at the cost of increased programming effort resulting in a tension between performance and code portability. Typically, code is either tuned in a low-level imperative language using hardware-specific optimizations to achieve maximum performance or is written in a high-level, possibly functional, language to achieve portability at the expense of performance. We propose a novel approach aiming to combine high-level programming, code portability, and high-performance. Starting from a high-level functional expression we apply a simple set of rewrite rules to transform it into a low-level functional representation, close to the OpenCL programming model, from which OpenCL code is generated. Our rewrite rules define a space of possible implementations which we automatically explore to generate hardware-specific OpenCL implementations. We formalize our system with a core dependently-typed λ-calculus along with a denotational semantics which we use to prove the correctness of the rewrite rules. We test our design in practice by implementing a compiler which generates high performance imperative OpenCL code. Our experiments show that we can automatically derive hardware-specific implementations from simple functional high-level algorithmic expressions offering performance on a par with highly tuned code for multicore CPUs and GPUs written by experts

Demographic and Genetic Patterns of Variation among Populations of Arabidopsis thaliana from Contrasting Native Environments

Background: Understanding the relationship between environment and genetics requires the integration of knowledge on the demographic behavior of natural populations. However, the demographic performance and genetic composition of Arabidopsis thaliana populations in the species' native environments remain largely uncharacterized. This information, in combination with the advances on the study of gene function, will improve our understanding on the genetic mechanisms underlying adaptive evolution in A. thaliana. Methodology/Principal Findings: We report the extent of environmental, demographic, and genetic variation among 10 A. thaliana populations from Mediterranean (coastal) and Pyrenean (montane) native environments in northeast Spain. Geographic, climatic, landscape, and soil data were compared. Demographic traits, including the dynamics of the soil seed bank and the attributes of aboveground individuals followed over a complete season, were also analyzed. Genetic data based on genome-wide SNP markers were used to describe genetic diversity, differentiation, and structure. Coastal and montane populations significantly differed in terms of environmental, demographic, and genetic characteristics. Montane populations, at higher altitude and farther from the sea, are exposed to colder winters and prolonged spring moisture compared to coastal populations. Montane populations showed stronger secondary seed dormancy, higher seedling/juvenile mortality in winter, and initiated flowering later than coastal populations. Montane and coastal regions were genetically differentiated, montane populations bearing lower genetic diversity than coastal ones. No significant isolation-by-distance pattern and no shared multilocus genotypes among populations were detected. Conclusions/Significance: Between-region variation in climatic patterns can account for differences in demographic traits, such as secondary seed dormancy, plant mortality, and recruitment, between coastal and montane A. thaliana populations. In addition, differences in plant mortality can partly account for differences in the genetic composition of coastal and montane populations. This study shows how the interplay between variation in environmental, demographic, and genetic parameters may operate in natural A. thaliana populations. © 2009 Montesinos et al

Analyzing the Impacts of Dams on Riparian Ecosystems: A Review of Research Strategies and Their Relevance to the Snake River Through Hells Canyon

River damming provides a dominant human impact on river environments worldwide, and while local impacts of reservoir flooding are immediate, subsequent ecological impacts downstream can be extensive. In this article, we assess seven research strategies for analyzing the impacts of dams and river flow regulation on riparian ecosystems. These include spatial comparisons of (1) upstream versus downstream reaches, (2) progressive downstream patterns, or (3) the dammed river versus an adjacent free-flowing or differently regulated river(s). Temporal comparisons consider (4) pre- versus post-dam, or (5) sequential post-dam conditions. However, spatial comparisons are complicated by the fact that dams are not randomly located, and temporal comparisons are commonly limited by sparse historic information. As a result, comparative approaches are often correlative and vulnerable to confounding factors. To complement these analyses, (6) flow or sediment modifications can be implemented to test causal associations. Finally, (7) process-based modeling represents a predictive approach incorporating hydrogeomorphic processes and their biological consequences. In a case study of Hells Canyon, the upstream versus downstream comparison is confounded by a dramatic geomorphic transition. Comparison of the multiple reaches below the dams should be useful, and the comparison of Snake River with the adjacent free-flowing Salmon River may provide the strongest spatial comparison. A pre- versus post-dam comparison would provide the most direct study approach, but pre-dam information is limited to historic reports and archival photographs. We conclude that multiple study approaches are essential to provide confident interpretations of ecological impacts downstream from dams, and propose a comprehensive study for Hells Canyon that integrates multiple research strategies

Indicators of river system hydromorphological character and dynamics: understanding current conditions and guiding sustainable river management

The work leading to this paper received funding from the EU’s FP7 programme under Grant Agreement No. 282656 (REFORM). The Indicators were developed within the context of REFORM deliverable D2.1, therefore all partners involved in this deliverable contributed to some extent to their discussion and development

Glacial Refugia in Pathogens: European Genetic Structure of Anther Smut Pathogens on Silene latifolia and Silene dioica

Climate warming is predicted to increase the frequency of invasions by pathogens and to cause the large-scale redistribution of native host species, with dramatic consequences on the health of domesticated and wild populations of plants and animals. The study of historic range shifts in response to climate change, such as during interglacial cycles, can help in the prediction of the routes and dynamics of infectious diseases during the impending ecosystem changes. Here we studied the population structure in Europe of two Microbotryum species causing anther smut disease on the plants Silene latifolia and Silene dioica. Clustering analyses revealed the existence of genetically distinct groups for the pathogen on S. latifolia, providing a clear-cut example of European phylogeography reflecting recolonization from southern refugia after glaciation. The pathogen genetic structure was congruent with the genetic structure of its host species S. latifolia, suggesting dependence of the migration pathway of the anther smut fungus on its host. The fungus, however, appeared to have persisted in more numerous and smaller refugia than its host and to have experienced fewer events of large-scale dispersal. The anther smut pathogen on S. dioica also showed a strong phylogeographic structure that might be related to more northern glacial refugia. Differences in host ecology probably played a role in these differences in the pathogen population structure. Very high selfing rates were inferred in both fungal species, explaining the low levels of admixture between the genetic clusters. The systems studied here indicate that migration patterns caused by climate change can be expected to include pathogen invasions that follow the redistribution of their host species at continental scales, but also that the recolonization by pathogens is not simply a mirror of their hosts, even for obligate biotrophs, and that the ecology of hosts and pathogen mating systems likely affects recolonization patterns

Recombination changes at the boundaries of fully and partially sex-linked regions between closely related Silene species pairs

The establishment of a region of suppressed recombination is a critical change during sex chromosome evolution, leading to such properties as Y (and W) chromosome genetic degeneration, accumulation of repetitive sequences and heteromorphism. Although chromosome inversions can cause large regions to have suppressed recombination, and inversions are sometimes involved in sex chromosome evolution, gradual expansion of the non-recombining region could potentially sometimes occur. We here test whether closer linkage has recently evolved between the sex-determining region and several genes that are partially sex-linked in Silene latifolia, using Silene dioica, a closely related dioecious plants whose XY sex chromosome system is inherited from a common ancestor. The S. latifolia pseudoautosomal region (PAR) includes several genes extremely closely linked to the fully Y-linked region. These genes were added to an ancestral PAR of the sex chromosome pair in two distinct events probably involving translocations of autosomal genome regions causing multiple genes to become partially sex-linked. Close linkage with the PAR boundary must have evolved since these additions, because some genes added in both events now show almost complete sex linkage in S. latifolia. We compared diversity patterns of five such S. latifolia PAR boundary genes with their orthologues in S. dioica, including all three regions of the PAR (one gene that was in the ancestral PAR and two from each of the added regions). The results suggest recent recombination suppression in S. latifolia, since its split from S. dioica