Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

Landscape-Genetic Analysis of Population Structure in the Texas Gray Fox Oral Rabies Vaccination Zone

In west-central Texas, USA, abatement efforts for the gray fox (Urocyon cinereoargenteus) rabies epizootic illustrate the difficulties inherent in large-scale management of wildlife disease. The rabies epizootic has been managed through a cooperative oral rabies vaccination program (ORV) since 1996. Millions of edible baits containing a rabies vaccine have been distributed annually in a 16-km to 24-km zone around the perimeter of the epizootic, which encompasses a geographic area >4 x 105 km2. The ORV program successfully halted expansion of the epizootic into metropolitan areas but has not achieved the ultimate goal of eradication. Rabies activity in gray fox continues to occur periodically outside the ORV zone, preventing ORV zone contraction and dissipation of the epizootic. We employed a landscape-genetic approach to assess gray fox population structure and dispersal in the affected area, with the aim of assisting rabies management efforts. No unique genetic clusters or population boundaries were detected. Instead, foxes were weakly structured over the entire region in an isolation by distance pattern. Local subpopulations appeared to be genetically non-independent over distances >30 km, implying that long-distance movements or dispersal may have been common in the region. We concluded that gray foxes in west-central Texas have a high potential for long-distance rabies virus trafficking. Thus, a 16-km to 24-km ORV zone may be too narrow to contain the fox rabies epizootic. Continued expansion of the ORV zone, although costly, may be critical to the long-term goal of eliminating the Texas fox rabies virus variant from the United States.