Using the High Productivity Language Chapel to Target GPGPU Architectures

It has been widely shown that GPGPU architectures offer large performance gains compared to their traditional CPU counterparts for many applications. The downside to these architectures is that the current programming models present numerous challenges to the programmer: lower-level languages, explicit data movement, loss of portability, and challenges in performance optimization. In this paper, we present novel methods and compiler transformations that increase productivity by enabling users to easily program GPGPU architectures using the high productivity programming language Chapel. Rather than resorting to different parallel libraries or annotations for a given parallel platform, we leverage a language that has been designed from first principles to address the challenge of programming for parallelism and locality. This also has the advantage of being portable across distinct classes of parallel architectures, including desktop multicores, distributed memory clusters, large-scale shared memory, and now CPU-GPU hybrids. We present experimental results from the Parboil benchmark suite which demonstrate that codes written in Chapel achieve performance comparable to the original versions implemented in CUDA.NSF CCF 0702260Cray Inc. Cray-SRA-2010-016962010-2011 Nvidia Research Fellowshipunpublishednot peer reviewe

Parallel machine architecture and compiler design facilities

The objective is to provide an integrated simulation environment for studying and evaluating various issues in designing parallel systems, including machine architectures, parallelizing compiler techniques, and parallel algorithms. The status of Delta project (which objective is to provide a facility to allow rapid prototyping of parallelized compilers that can target toward different machine architectures) is summarized. Included are the surveys of the program manipulation tools developed, the environmental software supporting Delta, and the compiler research projects in which Delta has played a role

Program Composition and Optimization: An Introduction

Software composition connects separately defined software artifacts. Such connection may be in program structure (such as inheritance), data flow (such as message passing) and/or control flow (such as function calls or loop control)

10191 Abstracts Collection -- Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond

From May 9 to 12, 2010, the Dagstuhl Seminar 10191 ``Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

A long noncoding RNA signature for ulcerative colitis identifies IFNG-AS1 as an enhancer of inflammation

High-throughput technologies revealed new categories of genes, including the long noncoding RNAs (lncRNAs), involved in the pathogenesis of human disease; however, the role of lncRNAs in the ulcerative colitis (UC) has not been evaluated. Gene expression profiling was used to develop lncRNA signatures in UC samples. Jurkat T cells were activated by PMA/ionomycin subsequently interferon- (IFNG) and tumor necrosis factor (TNF)- protein levels were assessed by ELISA. Anti-sense molecules were designed to block IFNG-AS1 expression. A unique set of lncRNAs was differentially expressed between UC and control samples. Of these, IFNG-AS1 was among the highest statistically significant lncRNAs (fold change: 5.27, P value: 7.07E-06). Bioinformatic analysis showed that IFNG-AS1 was associated with the IBD susceptibility loci SNP rs7134599 and its genomic location is adjacent to the inflammatory cytokine IFNG. In mouse models of colitis, active colitis samples had increased colonic expression of this lncRNA. Utilizing the Jurkat T cell model, we found IFNG-AS1 to positively regulate IFNG expression. Novel lncRNA signatures differentiate UC patients with active disease, patients in remission, and control subjects. A subset of these lncRNAs was found to be associated with the clinically validated IBD susceptibility loci. IFNG-AS1 was one of these differentially expressed lncRNAs in UC patients and found to regulate the key inflammatory cytokine, IFNG, in CD4 T cells. Taking these findings together, our study revealed novel lncRNA signatures deregulated in UC and identified IFNG-AS1 as a novel regulator of IFNG inflammatory responses, suggesting the potential importance of noncoding RNA mechanisms on regulation of inflammatory bowel disease-related inflammatory responses

Longitudinal population analysis of dual infection with recombination in two strains of HIV type 1 subtype B in an individual from a phase 3 HIV vaccine efficacy trial

This study documents a case of coinfection (simultaneous infection of an individual with two or more strains) of two HIV-1 subtype B strains in an individual from a Phase 3 HIV-1 vaccine efficacy trial, conducted in North American and the Netherlands. We examined 86 full-length gp120 (env) gene sequences from this individual collected from nine different time points over a 20-month period. We estimated evolutionary relationships using maximum likelihood and Bayesian methods and inferred recombination breakpoints and recombinant sequences using phylogenetic and substitutional methods. These analyses identified two strongly supported monophyletic clades (clades A and B) of 14 and 69 sequences each and a small paraphyletic recombinant clade of three sequences. We then studied the genetic characteristics of these lineages by comparing estimates of genetic diversity generated by mutation and recombination and adaptive selection within a coalescent and maximum likelihood framework. Our results suggest significant differences on the evolutionary dynamics of these strains. We then discuss the implications of these results for vaccine development

Intraprocedural Pointer Analysis for Container-Centric Applications

As programmers look forward to designing high performance applications with object-oriented models, compilers must support higher-level analyses and optimizations. Pointer analysis for container-centric applications is one of these: it exploits abstract semantics of container structures (e.g., lists, trees, associative maps) provided by standard libraries and toolkits. Extending shape analysis work by Sagiv, Reps and Wilhelm, we capture aliasing properties through dedicated points-to graphs. Formalizati- on in abstract interpretation allowed us to prove the abstraction's and transfer functions' safety. We ran the analysis on small examples. It achieved precise memory disambiguations useful to parallelization and optimization