What Developers Want and Need from Program Analysis: An Empirical Study

Program Analysis has been a rich and fruitful field of research for many decades, and countless high quality program analysis tools have been produced by academia. Though there are some well-known examples of tools that have found their way into routine use by practitioners, a common challenge faced by researchers is knowing how to achieve broad and lasting adoption of their tools. In an effort to understand what makes a program analyzer most attractive to developers, we mounted a multi-method investigation at Microsoft. Through interviews and surveys of developers as well as analysis of defect data, we provide insight and answers to four high level research questions that can help researchers design program analyzers meeting the needs of software developers. First, we explore what barriers hinder the adoption of program analyzers, like poorly expressed warning messages. Second, we shed light on what functionality developers want from analyzers, including the types of code issues that developers care about. Next, we answer what non-functional characteristics an analyzer should have to be widely used, how the analyzer should fit into the development process, and how its results should be reported. Finally, we investigate defects in one of Microsoft's flagship software services, to understand what types of code issues are most important to minimize, potentially through program analysis

Social and Physical Environments and Disparities in Risk for Cardiovascular Disease: The Healthy Environments Partnership Conceptual Model

The Healthy Environments Partnership (HEP) is a community-based participatory research effort investigating variations in cardiovascular disease risk, and the contributions of social and physical environments to those variations, among non-Hispanic black, non-Hispanic white, and Hispanic residents in three areas of Detroit, Michigan. Initiated in October 2000 as a part of the National Institute of Environmental Health Sciences’ Health Disparities Initiative, HEP is affiliated with the Detroit Community–Academic Urban Research Center. The study is guided by a conceptual model that considers race-based residential segregation and associated concentrations of poverty and wealth to be fundamental factors influencing multiple, more proximate predictors of cardiovascular risk. Within this model, physical and social environments are identified as intermediate factors that mediate relationships between fundamental factors and more proximate factors such as physical activity and dietary practices that ultimately influence anthropomorphic and physiologic indicators of cardiovascular risk. The study design and data collection methods were jointly developed and implemented by a research team based in community-based organizations, health service organizations, and academic institutions. These efforts include collecting and analyzing airborne particulate matter over a 3-year period; census and administrative data; neighborhood observation checklist data to assess aspects of the physical and social environment; household survey data including information on perceived stressors, access to social support, and health-related behaviors; and anthropometric, biomarker, and self-report data as indicators of cardiovascular health. Through these collaborative efforts, HEP seeks to contribute to an understanding of factors that contribute to racial and socioeconomic health inequities, and develop a foundation for efforts to eliminate these disparities in Detroit

The differential effects of concurrent planning practice elements on reunification and adoption

Objective: The child welfare practice of concurrent planning attempts to shorten children\u27s stays in foster care. There is very little quantitative research on concurrent planning\u27s effects. This study examines the influence of concurrent planning practice elements (reunification prognosis, concurrent plan, full disclosure, and discussion of voluntary relinquishment) on reunification and adoption. Method: Using a sample of 885 children, an observational design, and statistical controls, children who received concurrent planning elements were compared to those who did not. Results: Findings show discussion of voluntary relinquishment to be positively associated with adoption and full disclosure to be negatively associated with reunification. Conclusions: Concurrent planning\u27s benefits may require more intensive services to be fully realized. Care should be taken to ensure activities achieve their intended effects

Reunifying from behind bars: A quantitative study of the relationship between parental incarceration, service use, and foster care reunification

Incarcerated parents attempting to reunify with their children in foster care can find it difficult to complete the activities on their court-ordered case plans, such as drug treatment services and visitation with children. Although much has been written regarding the obstacles that are likely to interfere with reunification for incarcerated parents, very little quantitative research has examined the topic. This study uses secondary data to examine the incarceration experiences and reunification outcomes of a sample of 225 parents in one large urban California county. In multivariate analysis controlling for problems and demographics, incarcerated parents were less likely to reunify with their children; however, service use appeared to mediate this relationship, as the negative association between incarceration and reunification did not persist when service use was included as a variable in the model. Suggestions are made for policy and practice changes to improve reunification outcomes for this population of parents.

Quantification of Myocardial Blood Flow in Absolute Terms Using (82)Rb PET Imaging: The RUBY-10 Study.

OBJECTIVES: The purpose of this study was to compare myocardial blood flow (MBF) and myocardial flow reserve (MFR) estimates from rubidium-82 positron emission tomography ((82)Rb PET) data using 10 software packages (SPs) based on 8 tracer kinetic models. BACKGROUND: It is unknown how MBF and MFR values from existing SPs agree for (82)Rb PET. METHODS: Rest and stress (82)Rb PET scans of 48 patients with suspected or known coronary artery disease were analyzed in 10 centers. Each center used 1 of 10 SPs to analyze global and regional MBF using the different kinetic models implemented. Values were considered to agree if they simultaneously had an intraclass correlation coefficient >0.75 and a difference <20% of the median across all programs. RESULTS: The most common model evaluated was the Ottawa Heart Institute 1-tissue compartment model (OHI-1-TCM). MBF values from 7 of 8 SPs implementing this model agreed best. Values from 2 other models (alternative 1-TCM and Axially distributed) also agreed well, with occasional differences. The MBF results from other models (e.g., 2-TCM and retention) were less in agreement with values from OHI-1-TCM. CONCLUSIONS: SPs using the most common kinetic model-OHI-1-TCM-provided consistent results in measuring global and regional MBF values, suggesting that they may be used interchangeably to process data acquired with a common imaging protocol

Repeatability and Reproducibility of Decisions by Latent Fingerprint Examiners

The interpretation of forensic fingerprint evidence relies on the expertise of latent print examiners. We tested latent print examiners on the extent to which they reached consistent decisions. This study assessed intra-examiner repeatability by retesting 72 examiners on comparisons of latent and exemplar fingerprints, after an interval of approximately seven months; each examiner was reassigned 25 image pairs for comparison, out of total pool of 744 image pairs. We compare these repeatability results with reproducibility (inter-examiner) results derived from our previous study. Examiners repeated 89.1% of their individualization decisions, and 90.1% of their exclusion decisions; most of the changed decisions resulted in inconclusive decisions. Repeatability of comparison decisions (individualization, exclusion, inconclusive) was 90.0% for mated pairs, and 85.9% for nonmated pairs. Repeatability and reproducibility were notably lower for comparisons assessed by the examiners as “difficult” than for “easy” or “moderate” comparisons, indicating that examiners' assessments of difficulty may be useful for quality assurance. No false positive errors were repeated (n = 4); 30% of false negative errors were repeated. One percent of latent value decisions were completely reversed (no value even for exclusion vs. of value for individualization). Most of the inter- and intra-examiner variability concerned whether the examiners considered the information available to be sufficient to reach a conclusion; this variability was concentrated on specific image pairs such that repeatability and reproducibility were very high on some comparisons and very low on others. Much of the variability appears to be due to making categorical decisions in borderline cases

A Replication of Failure, Not a Failure to Replicate

Purpose: The increasing role of systematic reviews in knowledge production demands greater rigor in the literature search process. The performance of the Social Work Abstracts (SWA) database has been examined multiple times over the past three decades. The current study is a replication within this line of research. Method: Issue level coverage was examined for the same 33 SWA core journals and the same time period as our 2009 study. Results: The mean percentage of issues missing in the current study was 20%. The mean percentage of issues missing in the current study was significantly greater than the mean percentage of issues missing in the 2009 study. Discussion: The research of other groups, and that of our own, has failed to prompt NASW Press to act. SWA was failing, it is failing and NASW Press has failed to correct those failures

Designing multifunctional landscapes for forest conservation

A multifunctional landscape approach to forest protection has been advocated for tropical countries. Designing such landscapes necessitates that the role of different land uses in protecting forest be evaluated, along with the spatial interactions between land uses. However, such evaluations have been hindered by a lack of suitable analysis methodologies and data with fine spatial resolution over long time periods. We demonstrate the utility of a matching method with multiple categories to evaluate the role of alternative land uses in protecting forest. We also assessed the impact of land use change trajectories on the rate of deforestation. We employed data from Kalimantan (Indonesian Borneo) at three different time periods during 2000–2012 to illustrate our approach. Four single land uses (protected areas (PA), natural forest logging concessions (LC), timber plantation concessions (TC) and oil-palm plantation concessions (OC)) and two mixed land uses (mixed concessions and the overlap between concessions and PA) were assessed. The rate of deforestation was found to be lowest for PA, followed by LC. Deforestation rates for all land uses tended to be highest for locations that share the characteristics of areas in which TC or OC are located (e.g. degraded areas), suggesting that these areas are inherently more susceptible to deforestation due to foregone opportunities. Our approach provides important insights into how multifunctional landscapes can be designed to enhance the protection of biodiversity

Do differences in profiling criteria bias performance measurements? Economic profiling of medical clinics under the Korea National Health Insurance program: An observational study using claims data

<p>Abstract</p> <p>Background</p> <p>With a greater emphasis on cost containment in many health care systems, it has become common to evaluate each physician's relative resource use. This study explored the major factors that influence the economic performance rankings of medical clinics in the Korea National Health Insurance (NHI) program by assessing the consistency between cost-efficiency indices constructed using different profiling criteria.</p> <p>Methods</p> <p>Data on medical care benefit costs for outpatient care at medical clinics nationwide were collected from the NHI claims database. We calculated eight types of cost-efficiency index with different profiling criteria for each medical clinic and investigated the agreement between the decile rankings of each index pair using the weighted kappa statistic.</p> <p>Results</p> <p>The exclusion of pharmacy cost lowered agreement between rankings to the lowest level, and differences in case-mix classification also lowered agreement considerably.</p> <p>Conclusions</p> <p>A medical clinic may be identified as either cost-efficient or cost-inefficient, even when using the same index, depending on the profiling criteria applied. Whether a country has a single insurance or a multiple-insurer system, it is very important to have standardized profiling criteria for the consolidated management of health care costs.</p

Data-based analysis of speech and gesture: the Bielefeld Speech and Gesture Alignment corpus (SaGA) and its applications

Lücking A, Bergmann K, Hahn F, Kopp S, Rieser H. Data-based analysis of speech and gesture: the Bielefeld Speech and Gesture Alignment corpus (SaGA) and its applications. Journal on Multimodal User Interfaces. 2013;7(1-2):5-18.Communicating face-to-face, interlocutors frequently produce multimodal meaning packages consisting of speech and accompanying gestures. We discuss a systematically annotated speech and gesture corpus consisting of 25 route-and-landmark-description dialogues, the Bielefeld Speech and Gesture Alignment corpus (SaGA), collected in experimental face-to-face settings. We first describe the primary and secondary data of the corpus and its reliability assessment. Then we go into some of the projects carried out using SaGA demonstrating the wide range of its usability: on the empirical side, there is work on gesture typology, individual and contextual parameters influencing gesture production and gestures’ functions for dialogue structure. Speech-gesture interfaces have been established extending unification-based grammars. In addition, the development of a computational model of speech-gesture alignment and its implementation constitutes a research line we focus on