Towards a Universal Data Provenance Framework Using Dynamic Instrumentation

The advantage of collecting data provenance information has driven research on how to extend or modify applications and systems in order to provide it, or the creation of architectures that are built from the ground up with provenance capabilities. In this paper we propose a universal data provenance framework, using dynamic instrumentation, which gathers data provenance information for real-world applications without any code modifications. Our framework simplifies the task of finding the right points to instrument, which can be cumbersome in large and complex systems. We have built a proof-of-concept implementation of the framework on top of DTrace. Moreover, we evaluated its functionality by using it for three different scenarios: file-system operations, database transactions and web browser HTTP requests. Based on our experiences we believe that it is possible to provide data provenance, transparently, to any layer of the software stack

Breastfeeding And The Risk Of Breast Cancer In Brca1 And Brca2 Mutation Carriers

INTRODUCTION: Breastfeeding has been inversely related to breast cancer risk in the general population. Clarifying the role of breastfeeding among women with a BRCA1 or BRCA2 mutation may be helpful for risk assessment and for recommendations regarding prevention. We present an updated analysis of breastfeeding and risk of breast cancer using a large matched sample of BRCA mutation carriers. METHODS: We conducted a case-control study of 1,665 pairs of women with a deleterious mutation in either BRCA1 (n = 1,243 pairs) or BRCA2 (n = 422 pairs). Breast cancer cases and unaffected controls were matched on year of birth, mutation status, country of residence and parity. Information about reproductive factors, including breastfeeding for each live birth, was collected from a routinely administered questionnaire. Conditional logistic regression was used to estimate the association between ever having breastfed, as well as total duration of breastfeeding, and the risk of breast cancer. RESULTS: Among BRCA1 mutation carriers, breastfeeding for at least one year was associated with a 32% reduction in risk (OR = 0.68; 95% CI 0.52 to 0.91; P = 0.008); breastfeeding for two or more years conferred a greater reduction in risk (OR = 0.51; 95% CI 0.35 to 0.74). Among BRCA2 mutation carriers, there was no significant association between breastfeeding for at least one year and breast cancer risk (OR = 0.83; 95% CI 0.53 to 1.31; P = 0.43). CONCLUSIONS: These data extend our previous findings that breastfeeding protects against BRCA1-, but not BRCA2-associated breast cancer. BRCA mutation carriers should be advised of the benefit of breastfeeding in terms of reducing breast cancer risk.published_or_final_versio

Dependent types for program understanding

Abstract. Weakly-typed languages such as Cobol often force programmers to represent distinct data abstractions using the same low-level physical type. In this paper, we describe a technique to recover implicitlydefined data abstractions from programs using type inference. We present a novel system of dependent types which we call guarded types, a pathsensitive algorithm for inferring guarded types for Cobol programs, and a semantic characterization of correct guarded typings. The results of our inference technique can be used to enhance program understanding for legacy applications, and to enable a number of type-based program transformations.