Paraphrasing:Generating parallel programs using refactoring

Refactoring is the process of changing the structure of a program without changing its behaviour. Refactoring has so far only really been deployed effectively for sequential programs. However, with the increased availability of multicore (and, soon, manycore) systems, refactoring can play an important role in helping both expert and non-expert parallel programmers structure and implement their parallel programs. This paper describes the design of a new refactoring tool that is aimed at increasing the programmability of parallel systems. To motivate our design, we refactor a number of examples in C, C++ and Erlang into good parallel implementations, using a set of formal pattern rewrite rules. © 2013 Springer-Verlag Berlin Heidelberg.

Experimental Evaluations of Elementary Science Programs: A Best-Evidence Synthesis

This article presents a systematic review of research on the achievement outcomes of all types of approaches to teaching science in elementary schools. Study inclusion criteria included use of randomized or matched control groups, a study duration of at least 4 weeks, and use of achievement measures independent of the experimental treatment. A total of 23 studies met these criteria. Among studies evaluating inquiry-based teaching approaches, programs that used science kits did not show positive outcomes on science achievement measures (weighted ES=+0.02 in 7 studies), but inquiry-based programs that emphasized professional development but not kits did show positive outcomes (weighted ES=+0.36 in 10 studies). Technological approaches integrating video and computer resources with teaching and cooperative learning showed positive outcomes in a few small, matched studies (ES=+0.42 in 6 studies). The review concludes that science teaching methods focused on enhancing teachers’ classroom instruction throughout the year, such as cooperative learning and science-reading integration, as well as approaches that give teachers technology tools to enhance instruction, have significant potential to improve science learning.

TProf: An energy profiler for task-parallel programs

We present TProf, an energy profiling tool for OpenMP-like task-parallel programs. To compute the energy consumed by each task in a parallel application, TProf dynamically traces the parallel execution and uses a novel technique to estimate the per-task energy consumption. To achieve this estimation, TProf apportions the total processor energy among cores and overcomes the limitation of current works which would otherwise make parallel accounting impossible to achieve. We demonstrate the value of TProf by characterizing a set of task parallel programs, where we find that data locality, memory access patterns and task working sets are responsible for significant variance in energy consumption between seemingly homogeneous tasks. In addition, we identify opportunities for fine-grain energy optimization by applying per-task Dynamic Voltage and Frequency Scaling (DVFS).

Adding metadata to Orc to support reasoning about grid programs

Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related issues ahead of actual implementation or even prototyping. As examples, we demonstrate how such extended specifications can be used for investigating security related issues and for evaluating the cost of handling grid resource faults. The approach emphasises a semi-formal style of reasoning that makes maximum use of programmer domain knowledge and experience.

Cost-Directed Refactoring for Parallel Erlang Programs

This paper presents a new programming methodology for introducing and tuning parallelism in Erlang programs, using source-level code refactoring from sequential source programs to parallel programs written using our skeleton library, Skel. High-level cost models allow us to predict with reasonable accuracy the parallel performance of the refactored program, enabling programmers to make informed decisions about which refactorings to apply. Using our approach, we demonstrate easily obtainable, significant and scalable speedups of up to 21 on a 24-core machine over the sequential code.

Sequence Effects in the Valuation of Multiple Environmental Programs Using the Contingent Valuation Method

In contingent valuation, the willingness to pay for hypothetical programs may be affected by the order in which programs are presented to respondents. With inclusive lists, economic theory suggests that sequence effects should be expected. However, when policy makers allocate public budgets to several environmental programs, they may be interested in assessing the value of the programs without the valuations being affected by the order in which the programs are presented. Using single-bounded dichotomous choice contingent valuation questions, we show that if respondents have the possibility to revise their willingness-to-pay answers, sequence effects are mitigated. (JEL Q51, Q54)

Preschool Children's Awareness of and Attitudes Toward Difference: A Study of 3- and 4-Year-Old Children in Northern Ireland

This paper presents the findings of a large-scale survey (n = 1,049) of the ethnic awareness and attitudes of 3-4 year old children in Northern Ireland. In drawing upon and applying Bourdieu’s notion of habitus, the paper demonstrates how even at this age, the children are already beginning to embody and internalize the cultural habits and dispositions of their respective ethnic groups. This was found in relation to the children’s: friendships choices; preferences for particular national flags; and dispositions towards specific sports associated with their respective communities. Informed by the work of Bourdieu, the paper concludes by arguing for the need for greater use of quantitative methods employing multivariate and multilevel statistical analyses and for these to be based on a more open and meaningful engagement with the findings of indepth qualitative and ethnographic research in this area.

Blood eosinophils as a marker of likely corticosteroid response in children with preschool wheeze: time for an eosinophil guided clinical trial?

Childhood wheezing is common particularly in children under the age of six years and in this age-group is generally referred to as preschool wheezing. Particular diagnostic and treatment uncertainties exist in these young children due to the difficulty in obtaining objective evidence of reversible airways narrowing and inflammation. A diagnosis of asthma depends on the presence of relevant clinical signs and symptoms and the demonstration of reversible airways narrowing on lung function testing, which is difficult to perform in young children. Few treatments are available and inhaled corticosteroids are the recommended preventer treatment in most international asthma guidelines. There is however considerable controversy about its effectiveness in children with preschool wheeze and a corticosteroid responder phenotype has not been established. These diagnostic and treatment uncertainties in conjunction with the knowledge of corticosteroid side-effects, in particular the reduction of growth velocity, has resulted in a variable approach to inhaled corticosteroid prescribing by medical practitioners and a reluctance in carers to regularly administer the treatment. Identifying children who are likely responders to corticosteroid therapy would be a major benefit in the management of this condition. Eosinophils have emerged as a promising biomarker of corticosteroid responsive airways disease and evaluation of this biomarker in sputum has successfully been employed to direct management in adults with asthma. Obtaining sputum from young children is time-consuming and difficult and it is hard to justify more invasive procedures such as a bronchoscopy in young children routinely. Recently, in children, interest has shifted to assessing the value of less invasive biomarkers of likely corticosteroid response and the biomarker 'blood eosinophils' has emerged as an attractive candidate. The aim of this review is to summarise the evidence for blood eosinophils as a predictive biomarker for corticosteroid responsive disease with a particular focus on the difficult area of preschool wheeze.