Probabilistic program analysis for parallelizing compilers

Parallelizing compilers have difficulty analysing and optimising complex code. To address this, some analysis may be delayed until run-time, and techniques such as speculative execution used. Furthermore, to enhance performance, a feedback loop may be setup between the compile time and run-time analysis systems, as in iterative compilation. To extend this, it is proposed that the run-time analysis collects information about the values of variables not already determined, and estimates a probability measure for the sampled values. These measures may be used to guide optimisations in further analyses of the program. To address the problem of variables with measures as values, this paper also presents an outline of a novel combination of previous probabilistic denotational semantics models, applied to a simple imperative language.

Numerical and Experimental Study of the Performance Effects of Varying Vaneless Space and Vane Solidity in Radial Inflow Turbine Stators.

An extensive experimental program has been carried out on a 135?mm tip diameter radial turbine using a variety of stator designs, in order to facilitate direct performance comparisons of varying stator vane solidity and the effect of varying the vaneless space. A baseline vaned stator was designed using commercial blade design software, having 15 vanes and a vane trailing edge to rotor leading edge radius ratio (Rte/rle) of 1.13. Two additional series of stator vanes were designed and manufactured; one series having varying vane numbers of 12, 18, 24, and 30, and a further series with Rte/rle ratios of 1.05, 1.175, 1.20, and 1.25. As part of the design process a series of CFD simulations were carried out in order to guide design iterations towards achieving a matched flow capacity for each stator. In this way the variations in the measured stage efficiency could be attributed to the stator passages only, thus allowing direct comparisons to be made. Interstage measurements were taken to capture the static pressure distribution at the rotor inlet and these measurements were then used to validate subsequent numerical models. The overall losses for different stators have been quantified and the variations in the measured and computed efficiency were used to recommend optimum values of vane solidity and Rte/rle.

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Rotating Brains / Beating Heart:International collaborative performance with Stelarc, the virtual reality ensemble Avatar Orchestra Metaverse, Pauline Oliveros, Martin Parker and saxophonist Franziska Schroeder.

The work ROTATING BRAINS / BEATING HEART was specifically developed for the opening performance of the 2010 DRHA conference. The conference’s theme ‘Sensual Technologies: Collaborative Practices of Interdisciplinarity explored collaborative relationships between the body and sensual/sensing technologies across various disciplines, looking to new approaches offered by various emerging fields and practices that incorporate new and existing technologies. The conference had a specific focus on SecondLife with roundtable events and discussions, led by performance artist Stelarc, as well as international participation via SecondLife.
The collaboration between Stelarc, the Avatar Orchestra Metaverse (AOM) and myself as the DRHA2010 conference program chair was a unique occurrence for this conference.

Prediction-Based Power-Performance Adaptation of Multithreaded Scientific Codes

Computing has recently reached an inflection point with the introduction of multicore processors. On-chip thread-level parallelism is doubling approximately every other year. Concurrency lends itself naturally to allowing a program to trade performance for power savings by regulating the number of active cores; however, in several domains, users are unwilling to sacrifice performance to save power. We present a prediction model for identifying energy-efficient operating points of concurrency in well-tuned multithreaded scientific applications and a runtime system that uses live program analysis to optimize applications dynamically. We describe a dynamic phase-aware performance prediction model that combines multivariate regression techniques with runtime analysis of data collected from hardware event counters to locate optimal operating points of concurrency. Using our model, we develop a prediction-driven phase-aware runtime optimization scheme that throttles concurrency so that power consumption can be reduced and performance can be set at the knee of the scalability curve of each program phase. The use of prediction reduces the overhead of searching the optimization space while achieving near-optimal performance and power savings. A thorough evaluation of our approach shows a reduction in power consumption of 10.8 percent, simultaneous with an improvement in performance of 17.9 percent, resulting in energy savings of 26.7 percent.

Pharmacy Students’ Views of Faculty Feedback on Academic Performance

Objective: To investigate students' views on and satisfaction with faculty feedback on their academic performance.

Methods: A 41-item survey instrument was developed based on a literature review relating to effective feedback. All pharmacy undergraduate students were invited via e-mail to complete the self-administered electronic questionnaire relating to their views on feedback, including faculty feedback received to date regarding their academic performance.

Results: A response rate of 61% (343/561) was obtained. Only 32.3% of students (107/331) agreed that they were satisfied with the feedback they received; dissatisfaction with examination feedback was particularly high. The provision of faculty feedback was perceived to be variable in terms of quality and quantity.

Conclusions: There are some inconsistencies relating to provision of feedback within the MPharm degree program at Queen's University Belfast. Further work is needed to close the gap between student expectations and the faculty's delivery of feedback on academic performance.

Was It Something I Ate? Implementation of the FDA Seafood HACCP Program

We develop a theoretical model of enforcement and compliance under HACCP regulation and use the FDA's seafood inspection records to examine: (1) if the FDA has targeted its inspections under HACCP regulation; (2) the effects of inspections on compliance with HACCP and plant sanitation standards; and (3) the relationship between compliance with HACCP and preexisting sanitation standards. There is some evidence of targeting based on product risk, but not on past compliance performance. The threat of an inspection increases the likelihood of compliance, but only for sanitation inspections, not for HACCP. HACCP compliance does not improve compliance with sanitation standards. © 2008 American Agricultural Economics Association.

cudaMap: a GPU accelerated program for gene expression connectivity mapping

Background: Modern cancer research often involves large datasets and the use of sophisticated statistical techniques. Together these add a heavy computational load to the analysis, which is often coupled with issues surrounding data accessibility. Connectivity mapping is an advanced bioinformatic and computational technique dedicated to therapeutics discovery and drug re-purposing around differential gene expression analysis. On a normal desktop PC, it is common for the connectivity mapping task with a single gene signature to take >2h to complete using sscMap, a popular Java application that runs on standard CPUs (Central Processing Units). Here, we describe new software, cudaMap, which has been implemented using CUDA C/C++ to harness the computational power of NVIDIA GPUs (Graphics Processing Units) to greatly reduce processing times for connectivity mapping.

Results: cudaMap can identify candidate therapeutics from the same signature in just over thirty seconds when using an NVIDIA Tesla C2050 GPU. Results from the analysis of multiple gene signatures, which would previously have taken several days, can now be obtained in as little as 10 minutes, greatly facilitating candidate therapeutics discovery with high throughput. We are able to demonstrate dramatic speed differentials between GPU assisted performance and CPU executions as the computational load increases for high accuracy evaluation of statistical significance.

Conclusion: Emerging 'omics' technologies are constantly increasing the volume of data and information to be processed in all areas of biomedical research. Embracing the multicore functionality of GPUs represents a major avenue of local accelerated computing. cudaMap will make a strong contribution in the discovery of candidate therapeutics by enabling speedy execution of heavy duty connectivity mapping tasks, which are increasingly required in modern cancer research. cudaMap is open source and can be freely downloaded from http://purl.oclc.org/NET/cudaMap.