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.

Public awareness and views on unlicensed use of medicines in children.

WHAT IS ALREADY KNOWN ABOUT THIS SUBJECT center dot There is increasing concern about the use of those medicines in children which have not been fully studied and licensed for childhood use. Such use is not uncommon, due in large part to a lack of availability of fully licensed products and formulations that are suitable for children. center dot There is little published information on the views of the public on this important area of paediatric care. WHAT THIS STUDY ADDS center dot A survey of 1000 members of the public in Northern Ireland indicated that such use of medicines in children is not well known. center dot However, when informed about this practice, the majority believed that it would compromise safety and increase the likelihood of adverse effects. They also believed that parents/guardians should be told if their child was prescribed a medicine that had not been fully tested in children. center dot Participants in the survey indicated that they would be reluctant to involve their child in a clinical trial to help with the licensing process unless the child was suffering from a life-threatening illness. To explore awareness and views of the general public on unlicensed use of medicines in children and on the participation of children in clinical trials. Members of the public completed a questionnaire survey administered by face-to-face interview in public areas in N. Ireland. The main outcome measures were the views on unlicensed use of medicines in children and on clinical trials in children. One thousand participants (59.2% female) took part; 610 were parents. Most participants (86%) had no previous knowledge about unlicensed use of medicines in children. Being a parent did not influence this nor did being a parent of a child who suffered from a health problem (P > 0.05). Most participants (92%) felt that parents should be told about unlicensed use of medicines, with the doctor most frequently selected as the person who should inform parents. At the outset, only 1.8% of participants felt that the use of medicines in children was unsafe. However, having been informed about unlicensed use of medicines, this proportion increased dramatically (62.4%; P <0.001). Views on whether participants would enter a child of their own into a clinical trial varied according to the health status of the child (P <0.05) i.e. a child in good health (3.9%) vs a child with a life-threatening condition (41.9%). There is limited public knowledge of unlicensed use of medicines in children and a general reluctance to involve children in clinical trials unless the child to be involved has a life-threatening condition.

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.

No longer Sukumbasis: Challenges in grassroots-led squatter resettlement program in Kathmandu with special reference to Kirtipur Housing Project.

The paper is the outcome of a systematic effort to study and analyze the experiences of the Kirtipur Housing Project (KHP), the first ever grassroots-led squatter resettlement project in Kathmandu. It is widely hailed as a success story as it has been able to provide a legal, affordable and good quality housing solution to the Sukumbasis through grassroots mobilization. The paper analyses the dynamics of this mobilization and the roles of different actors to show how community empowerment, civil actions and local government interests have converged to create a constructive partnership in line with wider enabling principles. Apart from meeting the narrowly defined objective to rehouse 44 households, the project reflects capacity of the community, quite apart from lobbying and protest, in areas of project planning and management. While no grassroots mobilisation can be expected to replicate in a dynamic environment, the paper draws some policy insights that indicate the ability of the grassroots mobilization in Kathmandu to continue and grow. Conversely, the lessons learned from the project also point to limitations in terms lack of prerequisite critical mass or economic benefits to influence the government to prepare a policy framework under which it can foster in a more structured way.