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.

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.

Teaching family carers about home based palliative care: Final results from a group education program

Without the considerable support provided by family carers, many patients receiving palliative care would be unable to remain at home. However, family carers typically lack the required information and skills to prepare them for such a role. Pilot work has demonstrated that group education programs for family carers can be readily developed; they are feasible, accessible, and useful. This project sought to build on our pilot research to further examine the effectiveness of a group education program by evaluating the outcomes with a larger number of participants. The program aimed to prepare primary family carers for the role of supporting a relative with advanced, noncurative cancer at home. The psycho-educational program consisted of three consecutive weekly sessions presented in a group format, conducted at six home-based palliative care services across metropolitan and regional Victoria, Australia. The following dependent variables were measured at three time points: carer competence, preparedness, rewards, and information needs. The three time points were: commencement of the program (Time 1), upon completion (Time 2), and two weeks later (Time 3). A total of 156 participants (including the pilot phase) completed Time 1 questionnaires and 96 completed all three time periods (62%). Between Time 1 and Time 2, the intervention had a statistically significant positive effect on preparedness, competence, rewards, and having informational needs met. Outcomes were maintained at Time 3. There was no difference in the effectiveness of the intervention for participants in regional areas compared to participants in metropolitan areas.

This study demonstrated that a group education program to prepare family carers for the role of supporting a dying relative at home was effective. Implications for further research and practice are outlined.

Effects of an integrated medicines management program on medication appropriateness in hospitalized patients

Purpose. The effects of an integrated medicines management (IMM) program on medication appropriateness are discussed.