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)
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)
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 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)
Policy Exchange is the UK's leading think tank. We are an educational charity whose mission is to develop and promote new policy ideas that will deliver better public services, a stronger society and a more dynamic economy. Registered charity no: 1096300. Policy Exchange is committed to an evidence-based approach to policy development. We work in(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)
Study groups are the lifeblood of the ICTM; they sustain the discourse of members between biennial world conferences. Most ICTM members actively participate in at least one study group, often more than one. Over the last thirty years, the number of study groups has steadily grown from six listed in the April 1980 Bulletin of the ICTM to nineteen listed in(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)