A Simulator for LLVM Bitcode

In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for source-level information about functions and variables in C and C++ programs and structured heap visualisation. Additionally, the simulator is compatible with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and analyse counterexamples from an existing model checker

Cockpit data management

This study is a continuation of an FAA effort to alleviate the growing problems of assimilating and managing the flow of data and flight related information in the air transport flight deck. The nature and extent of known pilot interface problems arising from new NAS data management programs were determined by a comparative timeline analysis of crew tasking requirements. A baseline of crew tasking requirements was established for conventional and advanced flight decks operating in the current NAS environment and then compared to the requirements for operation in a future NAS environment emphasizing Mode-S data link and TCAS. Results showed that a CDU-based pilot interface for Mode-S data link substantially increased crew visual activity as compared to the baseline. It was concluded that alternative means of crew interface should be available during high visual workload phases of flight. Results for TCAS implementation showed substantial visual and motor tasking increases, and that there was little available time between crew tasks during a TCAS encounter. It was concluded that additional research should be undertaken to address issues of ATC coordination and the relative benefit of high workload TCAS features

MintHint: Automated Synthesis of Repair Hints

Being able to automatically repair programs is an extremely challenging task. In this paper, we present MintHint, a novel technique for program repair that is a departure from most of today's approaches. Instead of trying to fully automate program repair, which is often an unachievable goal, MintHint performs statistical correlation analysis to identify expressions that are likely to occur in the repaired code and generates, using pattern-matching based synthesis, repair hints from these expressions. Intuitively, these hints suggest how to rectify a faulty statement and help developers find a complete, actual repair. MintHint can address a variety of common faults, including incorrect, spurious, and missing expressions. We present a user study that shows that developers' productivity can improve manyfold with the use of repair hints generated by MintHint -- compared to having only traditional fault localization information. We also apply MintHint to several faults of a widely used Unix utility program to further assess the effectiveness of the approach. Our results show that MintHint performs well even in situations where (1) the repair space searched does not contain the exact repair, and (2) the operational specification obtained from the test cases for repair is incomplete or even imprecise

Heat transfer in rough microchannels under rarefied flow conditions

Papers presented to the 11th International Conference on Heat Transfer, Fluid Mechanics and Thermodynamics, South Africa, 20-23 July 2015.A hybrid solver dynamically coupling kinetic solutions computed in local rarefied areas and Navier–Stokes solutions in the rest of the flow is used for the analysis of heat transfer in a rough microchannel. Roughness geometry is modeled as a series of triangular obstructions and a relative roughness up to 5% of the channel height is considered. Wide range of the Knudsen numbers (from 0.01 up to 0.1) is considered, at low Mach number (nearly incompressible flow). The competition between roughness, rarefaction and heat transfer effects is discussed in terms of averaged Nusselt and Poiseuille numbers and mass flow rate. Discrepancy between the full Navier– Stokes and hybrid solutions is investigated, assessing the range of applicability of the first order slip boundary condition for rough geometries with and without heat transfer.am201

Poverty and Disability: A critical review of the literature in low and middle-income countries

While it is widely assumed that disability, poverty and health are closely linked, this is the first critical review on the subject that explicitly asks: ‘What is the current evidence base for the link between poverty, disability and health in low- and middle-income countries? The methods used have been adapted from the EPPI Centre (EPPI-Centre, 2007) and the work of Greenhalgh (Greenhalgh, Robert, Macfarlane, Bate, Kyriakidou, & Peacock, 2005) A total of 964 papers were identified and, of these, 293 were selected for further review based on appropriateness of fit. An initial review of the 293 papers, paying particular attention to those papers that presented an evidence base, found only 27 papers (9.2% of total papers reviewed) met the established inclusion criteria for a critical review. Widening these inclusion criteria did not produce significantly more evidence based papers for review. Thus, the most significant finding from this study is the current lack of strong evidence on the links between disability, poverty and health in LMICs upon which to build global policy and programming. Within the group of papers available for review, we identify a small but growing evidence base that indicates that there are substantial links between disability, poverty and health; however emerging research indicates that these links are more complex and nuanced than is currently assumed. We conclude with a call for more attention to building an evidence base on the interactions between disability, poverty and health. The absence of a robust evidence base that explicitly links these issues, in conjunction with the lack of appropriate benchmarks and indicators to measure disability rights commitments (including poverty reduction), will otherwise result in a “democratic deficit”

Meeting the communication support needs of children and young people with intellectual disabilities in the Bolivian Andes

Services available for people with disabilities in Bolivia tend to be fragmented and costly. Children and adults with intellectual disabilities are more likely to have a related communication disability and are thus both literally and metaphorically excluded from having a voice. The following research aimed to explore the experiences of accessing services by people with communication disabilities in Bolivia through semi-structured interviews and one focus group carried out with family members, professionals, service providers, educators and policymakers. It aimed to establish the nature of current services in Bolivia where knowledge, information and resources are scarce. Findings indicated the need to consider an alternative to a medical model approach through a focus on empowering other stakeholders to participate more fully in meeting communication support needs. Conclusions plot ideas for future service delivery and emphasize the central power of sharing practical and expert knowledge

Reverse Engineering of Middleware for Verification of Robot Control Architectures

We consider the problem of automating the verification of distributed control software relying on publish-subscribe middleware. In this scenario, the main challenge is that software correctness depends intrinsically on correct usage of middleware components, but structured models of such components might not be available for analysis, e.g., because they are too large and complex to be described precisely in a cost-effective way. To overcome this problem, we propose to identify abstract models of middleware as finite-state automata, and then to perform verification on the combined middleware and control software models. Both steps are carried out in a computer-assisted way using state-of-the-art techniques in automata-based identification and verification. Our main contribution is to show that the combination of identification and verification is feasible and useful when considering typical issues that arise in the implementation of distributed control software.Comment: 14 pages, 4 figures. The final version of the article is published in Proc. of "Simulation, Modeling, and Programming for Autonomous Robots", SIMPAR 2014 (published by Springer

Disability status, intimate partner violence and perceived social support among married women in three districts of the Terai region of Nepal

INTRODUCTION: Women living with disabilities are disproportionately vulnerable to intimate partner violence (IPV). Existing research on the topic largely takes place in high-income settings and treats disability as a dichotomous experience-an individual either has a disability or does not. Disability experiences, however, are diverse such that some individuals face minimal impairment, while for others impairment can be severe. With this spectrum in mind, this study sought to examine the associations between severity of disability impairment, past-year IPV, past-year in-law violence and perceived social support among married women in Nepal. METHODS: Baseline data (2016) from a randomised controlled trial aiming to reduce IPV among women aged 18-49 (n=1800) were analysed using generalised estimating equations logistic regressions to assess associations. RESULTS: Women with severe impairment reported higher levels of physical and/or sexual, emotional, economic and in-law violence than women without a disability (adjusted OR (AOR)=1.68, 95%  CI 1.04 to 2.72; AOR=1.65, 95%  CI 1.03 to 2.65; AOR=1.75, 95%  CI 1.02 to 3.02; AOR=2.80, 95%  CI 2.53 to 5.11, respectively). Differences in IPV between women reporting some impairment versus no disability were observed for economic (AOR=1.47, 95%  CI 1.11 to 1.94) and in-law violence (AOR=1.50, 95%  CI 1.07 to 2.10). Women with severe or some impairment versus no disability were less likely to perceive their in-laws as supportive. CONCLUSION: Disability status was associated with increased vulnerability to IPV. A gradient was observed; the highest levels of IPV were experienced by women with severe impairment, followed by some impairment. Future research should examine the mechanisms driving such observations