Ruth Davis

Learn More
Visualizing impacts of an optimization pass helps to reason about, and to gain insight into, the inner workings of the optimization pass. In this paper, we visualize the impacts of two procedural abstraction passes. For this, we modified two procedural abstraction post pass optimizers to visualize for each the difference in machine code before and after(More)
BACKGROUND To assess the extent and nature of claims regarding improved sports performance made by advertisers for a broad range of sports-related products, and the quality of the evidence on which these claims are based. METHODS The authors analysed magazine adverts and associated websites of a broad range of sports products. The authors searched for(More)
BACKGROUND Blood product transfusions are associated with increased morbidity and mortality. The purpose of this study was to determine if implementation of a restrictive protocol for packed red blood cell (PRBC) and fresh frozen plasma (FFP) transfusion safely reduces blood product utilization and costs in a surgical intensive care unit (SICU). STUDY(More)
SUMMARY Many undergraduate computing departments seek to increase recruitment and retention of women in their programs. Increasing participation and graduation of women in computing requires a systemic approach that includes [1, 2]: • Recruiting strategically • Retaining with pedagogy • Retaining with curriculum • Retaining with student support •(More)
  • Rafaella Fortini Queiroz Grenfell, Paulo Marcos Zech Coelho, Diana Taboada, Ana Carolina Alves de Mattos, Ruth Davis, Donald A. Harn
  • 2014
BACKGROUND Current available methods for diagnosis of schistosomiasis mansoni lack sufficient sensitivity, which results in underreporting of infectious in areas of low endemicity. METHODOLOGY/PRINCIPAL FINDINGS We developed three novel diagnostic methodologies for the direct detection of schistosome infection in serum samples. These three new methods(More)
There is an active research community concentrating on visualizations of algorithms taught in CS1 and CS2 courses. These visualizations can help students to create concrete visual images of the algorithms and their underlying concepts. Not only <i>fundamental algorithms</i> can be visualized, but also algorithms used in compilers. Visualizations that exist(More)
for The role of formal methods has been discussed at SIGCSE and through the country vears. For examde. SIGCSE Award Winners Eds~er Diikstra. David Gries. and Dan McCracken discussed program verification and relate~ matt " ers in' their SIGCSE keynote addresses in 1989, 1991, and 1992, respectively. Recent SIGCSE workshops and tutorials by two of the(More)
  • 1