Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming

We report on a detailed study of the application and effectiveness of program analysis based on abstract interpretation to automatic program parallelization. We study the case of parallelizing logic programs using the notion of strict independence. We first propose and prove correct a methodology for the application in the parallelization task of the information inferred by abstract interpretation, using a parametric domain. The methodology is generic in the sense of allowing the use of different analysis domains. A number of well-known approximation domains are then studied and the transformation into the parametric domain defined. The transformation directly illustrates the relevance and applicability of each abstract domain for the application. Both local and global analyzers are then built using these domains and embedded in a complete parallelizing compiler. Then, the performance of the domains in this context is assessed through a number of experiments. A comparatively wide range of aspects is studied, from the resources needed by the analyzers in terms of time and memory to the actual benefits obtained from the information inferred. Such benefits are evaluated both in terms of the characteristics of the parallelized code and of the actual speedups obtained from it. The results show that data flow analysis plays an important role in achieving efficient parallelizations, and that the cost of such analysis can be reasonable even for quite sophisticated abstract domains. Furthermore, the results also offer significant insight into the characteristics of the domains, the demands of the application, and the trade-offs involved.

Effectiveness of combined sharing and freeness analysis using abstract interpretation

This paper presents improved unification algorithms, an implementation, and an analysis of the effectiveness of an abstract interpreter based on the sharing + freeness domain presented in a previous paper, which was designed to accurately and concisely represent combined freeness and sharing information for program variables. We first briefly review this domain and the unification algorithms previously proposed. We then improve these algorithms and correct them to deal with some cases which were not well analyzed previously, illustrating the improvement with an example. We then present the implementation of the improved algorithm and evaluate its performance by comparing the effectiveness of the information inferred to that of other interpreters available to us for an application (program parallelization) that is common to all these interpreters. All these systems have been embedded in a real parallelizing compiler. Effectiveness of the analysis is measured in terms of actual final performance of the system: i.e. in terms of the actual speedups obtained. The results show good performance for the combined domain in that it improves the accuracy of both types of information and also in that the analyzer using the combined domain is more effective in the application than any of the other analyzers it is compared to.

Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects

Some verification and validation techniques have been evaluated both theoretically and empirically. Most empirical studies have been conducted without subjects, passing over any effect testers have when they apply the techniques. We have run an experiment with students to evaluate the effectiveness of three verification and validation techniques (equivalence partitioning, branch testing and code reading by stepwise abstraction). We have studied how well able the techniques are to reveal defects in three programs. We have replicated the experiment eight times at different sites. Our results show that equivalence partitioning and branch testing are equally effective and better than code reading by stepwise abstraction. The effectiveness of code reading by stepwise abstraction varies significantly from program to program. Finally, we have identified project contextual variables that should be considered when applying any verification and validation technique or to choose one particular technique.

Effectiveness for Ddtecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013).Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Politécnica del Ejército Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program andgroup variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults.We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study.

Adaptaciones cardiacas hemodinámicas, estructurales y funcionales a un programa de ejercicio físico supervisado durante el embarazo: ensayo clínico aleatorizado = Hemodynamic, structural and functional cardiac adaptations in a supervised physical exercise program during pregnancy: a randomized controlled trial

Introducción: Diversos cambios ocurren en el sistema cardiovascular materno durante el embarazo, lo que genera un gran estrés sobre este sistema especialmente durante el tercer trimestre, pudiendo acentuarse en presencia de determinados factores de riesgo. Los objetivos de este estudio fueron, valorar las adaptaciones cardiovasculares producidas por un programa específico de ejercicio físico; su seguridad sobre el sistema cardiovascular materno y los resultados del embarazo; y su eficacia en el control de los factores de riesgo cardiovascular. Material y métodos: El diseño del estudio fue un ensayo clínico aleatorizado. 151 gestantes sanas fueron evaluadas mediante un ecocardiograma y un electrocardiograma en la semana 20 y 34 de gestación. Un total de 89 gestantes participaron en un programa de ejercicio físico (GE) desde el primer hasta el tercer trimestre de embarazo, constituido principalmente por 25-30 minutos de trabajo aeróbico (55-60% de la frecuencia cardiaca de reserva), trabajo de fortalecimiento general y específico, y un trabajo de tonificación del suelo pélvico; desarrollado 3 días a la semana con una duración de 55-60 minutos cada sesión. Las gestantes aleatoriamente asignadas al grupo de control (GC; n=62) permanecieron sedentarias durante el embarazo. El estudio fue aprobado por el Comité Ético de investigación clínica del Hospital Universitario de Fuenlabrada. Resultados: Las características basales fueron similares entre ambos grupos. A diferencia del GC, las gestantes del GE evitaron el descenso significativo del gasto cardiaco indexado, entre el 2º y 3ºT de embarazo, y conservaron el patrón geométrico normal del ventrículo izquierdo; mientras que en el GC cambió hacia un patrón de remodelado concéntrico. En la semana 20, las gestantes del GE presentaron valores significativamente menores de frecuencia cardiaca (GC: 79,56±10,76 vs. GE: 76,05±9,34; p=0,04), tensión arterial sistólica (GC: 110,19±10,23 vs. GE: 106,04±12,06; p=0,03); tensión arterial diastólica (GC: 64,56±7,88 vs. GE: 61,81±7,15; p=0,03); tiempo de relajación isovolumétrica (GC: 72,94±14,71 vs. GE: 67,05±16,48; p=0,04); y un mayor tiempo de deceleración de la onda E (GC: 142,09±39,11 vs. GE: 162,10±48,59; p=0,01). En la semana 34, el GE presentó valores significativamente superiores de volumen sistólico (GC: 51,13±11,85 vs. GE: 56,21±12,79 p=0,04), de llenado temprano del ventrículo izquierdo (E) (GC: 78,38±14,07 vs. GE: 85,30±16,62; p=0,02) y de tiempo de deceleración de la onda E (GC: 130,35±37,11 vs. GE: 146,61±43,40; p=0,04). Conclusión: La práctica regular de ejercicio físico durante el embarazo puede producir adaptaciones positivas sobre el sistema cardiovascular materno durante el tercer trimestre de embarazo, además de ayudar en el control de sus factores de riesgo, sin alterar la salud materno-fetal. ABSTRACT Background: Several changes occur in the maternal cardiovascular system during pregnancy. These changes produce a considerable stress in this system, especially during the third trimester, which can be increased in presence of some risk factors. The aims of this study were, to assess the maternal cardiac adaptations in a specific exercise program; its safety on the maternal cardiovascular system and pregnancy outcomes; and its effectiveness in the control of cardiovascular risk factors. Material and methods: A randomized controlled trial was designed. 151 healthy pregnant women were assessed by an echocardiography and electrocardiography at 20 and 34 weeks of gestation. A total of 89 pregnant women participated in a physical exercise program (EG) from the first to the third trimester of pregnancy. It consisted of 25-30 minutes of aerobic conditioning (55-60% of their heart rate reserve), general and specific strength exercises, and a pelvic floor muscles training; 3 times per weeks during 55-60 minutes per session. Pregnant women randomized allocated to the control group (CG) remained sedentary during pregnancy. The study was approved by the Research Ethics Committee of Hospital Universitario de Fuenlabrada. Results: Baseline characteristics were similar between groups. Difference from the CG, pregnant women from the EG prevented the significant decrease of the cardiac output index, between the 2nd and 3rd trimester of pregnancy, and preserved the normal left ventricular pattern; whereas in the CG shifted to concentric remodeling pattern. At 20 weeks, women in the EG had significant lower heart rate (CG: 79,56±10,76 vs. EG: 76,05±9,34; p=0,04), systolic blood pressure (CG: 110,19±10,23 vs. EG: 106,04±12,06; p=0,03); diastolic blood pressure (CG: 64,56±7,88 vs. EG: 61,81±7,15; p=0,03); isovolumetric relaxation time (GC: 72,94±14,71 vs. GE: 67,05±16,48; p=0,04); and a higher deceleration time of E Wave (GC: 142,09±39,11 vs. GE: 162,10±48,59; p=0,01). At 34 weeks, the EG had a significant higher stroke volume (CG: 51,13±11,85 vs. EG: 56,21±12,79 p=0,04), early filling of left ventricular (E) (CG: 78,38±14,07 vs. EG: 85,30±16,62; p=0,02) and deceleration time of E wave (CG: 130,35±37,11 vs. EG:146,61±43,40; p=0,04). Conclusion: Physical regular exercise program during pregnancy may produce positive maternal cardiovascular adaptations during the third trimester of pregnancy. In addition, it helps to control the cardiovascular risk factors without altering maternal and fetus health.

Effectiveness for detecting faults within and outside the scope of testing techniques: an independent replication

The verification and validation activity plays a fundamental role in improving software quality. Determining which the most effective techniques for carrying out this activity are has been an aspiration of experimental software engineering researchers for years. This paper reports a controlled experiment evaluating the effectiveness of two unit testing techniques (the functional testing technique known as equivalence partitioning (EP) and the control-flow structural testing technique known as branch testing (BT)). This experiment is a literal replication of Juristo et al. (2013). Both experiments serve the purpose of determining whether the effectiveness of BT and EP varies depending on whether or not the faults are visible for the technique (InScope or OutScope, respectively). We have used the materials, design and procedures of the original experiment, but in order to adapt the experiment to the context we have: (1) reduced the number of studied techniques from 3 to 2; (2) assigned subjects to experimental groups by means of stratified randomization to balance the influence of programming experience; (3) localized the experimental materials and (4) adapted the training duration. We ran the replication at the Escuela Polite?cnica del Eje?rcito Sede Latacunga (ESPEL) as part of a software verification & validation course. The experimental subjects were 23 master?s degree students. EP is more effective than BT at detecting InScope faults. The session/program and group variables are found to have significant effects. BT is more effective than EP at detecting OutScope faults. The session/program and group variables have no effect in this case. The results of the replication and the original experiment are similar with respect to testing techniques. There are some inconsistencies with respect to the group factor. They can be explained by small sample effects. The results for the session/program factor are inconsistent for InScope faults. We believe that these differences are due to a combination of the fatigue effect and a technique x program interaction. Although we were able to reproduce the main effects, the changes to the design of the original experiment make it impossible to identify the causes of the discrepancies for sure. We believe that further replications closely resembling the original experiment should be conducted to improve our understanding of the phenomena under study.

Modified Dialectical Behavior Therapy Program Applied Within a Time-Limited Corrections Setting

Dialectical Behavioral Therapy (DBT) is an empirically supported therapy developed to treat individuals with Borderline Personality Disorder that has sustained efficacy following completion of the treatment (Linehan, 1993; Van Den Bosch et al., 2005). The core concepts of DBT include mindfulness, interpersonal effectiveness, emotional regulation, and distress tolerance, which seek to foster more functional ways of interacting with others, coping with distress, and managing difficult emotions. Using a standard DBT format in a corrections setting can be difficult due to the population's multifaceted composition. The Denver County Jail is a unique corrections setting because it contains a unit specifically developed for male inmates with mental health issues. A corrections modified, time-limited DBT curriculum was developed to fit the needs of this unique population. During the course of the group, staff appeared to be accepting of the group material and initial feedback from inmates and officers was positive.

Program Evaluation of an After-School Socialization Group Program

Use of evidence-based practice is becoming more expected and necessary for mental health practitioners. This allows for proof, accountability, and rigorous standards to be upheld, facilitates healthcare reimbursement, and provides a wider range of services to more clients. Appropriate monitoring and outcome measurement is essential to determine the effectiveness of a given intervention. An organization providing group social skills interventions for children 7-18 years was analyzed to facilitate the best plan for evaluating treatment effectiveness. Measurable goals and objectives consistent with the organizations mission and values were developed. Appropriate social skills measurement tools were identified. Strengths and weaknesses of each measure were compared, and existing literature was reviewed to ensure cohesion between this evaluation and current standards in literature. Parent report, self report, and teacher report on Piers-Harris II, BASC-2, and Skills Improvement System Rating Scales were determined to be the most relevant measures of social skills development. A timeline for administration and plan for how to implement measurement and use data was suggested as well as considerations for future research.

Moderators of two Indicated Cognitive-Behavioral Depression Prevention Approaches for Adolescents in a School-Based Effectiveness Trial

Objective: Our aim was to identify moderators of the effects of a cognitive behavioral group-based prevention program (CB group) and CB bibliotherapy, relative to an educational brochure control condition and to one another, in a school-based effectiveness randomized controlled prevention trial. Method: 378 adolescents (M age ¼ 15.5, 68% female) with elevated depressive symptoms were randomized in one of three conditions and were assessed at pretest, posttest, and 6-month follow-up. We tested the moderating effect of three individual (baseline depressive symptoms, negative attributional style, substance use), three environmental (negative life events, parental support, peer support), and two sociodemographic (sex, age) characteristics. Results: Baseline depressive symptoms interacted with condition and time. Decomposition indicated that elevated baseline depressive symptoms amplified the effect of CB bibliotherapy at posttest (but not 6-month follow-up) relative to the control condition, but did not modify the effect of CB group relative to the control condition or relative to bibliotherapy. Specifically, CB bibliotherapy resulted in lower posttest depressive symptoms than the control condition in individuals with elevated, but not average or low baseline symptoms. We found no interaction effect for other putative moderators. Conclusions: Our findings suggest that bibliotherapy is effective only in participants who have elevated depressive symptoms at baseline. The fact that no study variable moderated the effects of CB group, which had a significant main effect in reducing depressive symptoms relative to the control condition, suggests that this indicated prevention intervention is effective for a wide range of adolescents.

Moderators of two Indicated Cognitive-Behavioral Depression Prevention Approaches for Adolescents in a School-Based Effectiveness Trial

Objective: Our aim was to identify moderators of the effects of a cognitive behavioral group-based prevention program (CB group) and CB bibliotherapy, relative to an educational brochure control condition and to one another, in a school-based effectiveness randomized controlled prevention trial. Method: 378 adolescents (M age ¼ 15.5, 68% female) with elevated depressive symptoms were randomized in one of three conditions and were assessed at pretest, posttest, and 6-month follow-up. We tested the moderating effect of three individual (baseline depressive symptoms, negative attributional style, substance use), three environmental (negative life events, parental support, peer support), and two sociodemographic (sex, age) characteristics. Results: Baseline depressive symptoms interacted with condition and time. Decomposition indicated that elevated baseline depressive symptoms amplified the effect of CB bibliotherapy at posttest (but not 6-month follow-up) relative to the control condition, but did not modify the effect of CB group relative to the control condition or relative to bibliotherapy. Specifically, CB bibliotherapy resulted in lower posttest depressive symptoms than the control condition in individuals with elevated, but not average or low baseline symptoms. We found no interaction effect for other putative moderators. Conclusions: Our findings suggest that bibliotherapy is effective only in participants who have elevated depressive symptoms at baseline. The fact that no study variable moderated the effects of CB group, which had a significant main effect in reducing depressive symptoms relative to the control condition, suggests that this indicated prevention intervention is effective for a wide range of adolescents.

Symposium on traffic safety effectiveness (impact) evaluation projects. Final report.

National Highway Traffic Safety Administration, Office of Program and Demonstration Evaluation, Washington, D.C.

The art of appropriate evaluation: a guide for highway safety program managers.

Mode of access: Internet.

Cost-benefit, cost-effectiveness research of drug abuse prevention : implications for programming and policy /

Shipping list no.: 99-0004-P.

Evaluation of safety belt education program for employees. Final report.

National Highway Traffic Safety Administration, Office of Research and Development, Washington, D.C.

Cost-effectiveness of mass media communications as related to highway safety.

National Highway Safety Bureau, Washington, D.C.