Non-clinical outcomes of antiretroviral therapy for HIV/AIDS in developing countries: a systematic literature review

The impacts of antiretroviral therapy on quality of life, mental health, labor productivity, and economic wellbeing for people living with HIV/AIDS in developing countries are only beginning to be measured. We conducted a systematic literature review to analyze the effect of antiretroviral therapy (ART) on these non-clinical indicators in developing countries and assess the state of research on these topics. Both qualitative and quantitative studies were included, as were peer-reviewed articles, gray literature, and conference abstracts and presentations. Findings are reported from 12 full-length articles, 7 abstracts, and 1 presentation (representing 16 studies). Compared to HIV-positive patients not yet on treatment, patients on ART reported significant improvements in physical, emotional and mental health and daily function. Work performance improved and absenteeism decreased, with the most dramatic changes occurring in the first three months of treatment and then leveling off. Little research has been done on the impact of ART on household wellbeing, with modest changes in child and family wellbeing within households where adults are receiving ART reported so far. Studies from developing countries have not yet assessed non-clinical outcomes of therapy beyond the first year; therefore, longitudinal outcomes are still unknown. As ART roll out extends throughout high HIV prevalence, low-resource countries and is sustained over years and decades, both positive and adverse non-clinical outcomes need to be empirically measured and qualitatively explored in order to support patient adherence and maximize treatment benefits.

Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.