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.

Fair Practices in Hiring, Case Analyses

Case analyses of fair practices in hiring in academia.

Deer-Vehicle Crash Patterns Across Ecoregions in Michigan

Deer-vehicle collisions (DVCs) impact the economic and social well being of humans. We examined large-scale patterns behind DVCs across 3 ecoregions: Southern Lower Peninsula (SLP), Northern Lower Peninsula (NLP), and Upper Peninsula (UP) in Michigan. A 3 component conceptual model of DVCs with drivers, deer, and a landscape was the framework of analysis. The conceptual model was parameterized into a parsimonious mathematical model. The dependent variable was DVCs by county by ecoregion and the independent variables were percent forest cover, percent crop cover, mean annual vehicle miles traveled (VMT), and mean deer density index (DDI) by county. A discriminant function analysis of the 4 independent variables by counties by ecoregion indicated low misclassification, and provided support to the groupings by ecoregions. The global model and all sub-models were run for the 3 ecoregions and evaluated using information-theoretic approaches. Adjusted R2 values for the global model increased substantially from the SLP (0.21) to the NLP (0.54) to the UP (0.72). VMT and DDI were important variables across all 3 ecoregions. Percent crop cover played an important role in DVCs in the SLP and UP. The scale at which causal factors of DVCs operate appear to be finer in southern Michigan than in northern Michigan. Reduction of DVCs will likely occur only through a reduction in deer density, a reduction in traffic volume, or in modification of sitespecific factors, such as driver behavior, sight distance, highway features, or speed limits.

A Land-Use and Water-Quality History of White Rock Lake Reservoir, Dallas, Texas, Based on Paleolimnological Analyses

White Rock Lake reservoir in Dallas, Texas contains a 150-cm sediment record of silty clay that documents land-use changes since its construction in 1912. Pollen analysis corroborates historical evidence that between 1912 and 1950 the watershed was primarily agricultural. Land disturbance by plowing coupled with strong and variable spring precipitation caused large amounts of sediment to enter the lake during this period. Diatoms were not preserved at this time probably because of low productivity compared to diatom dissolution by warm, alkaline water prior to burial in the sediments. After 1956, the watershed became progressively urbanized. Erosion decreased, land stabilized, and pollen of riparian trees increased as the lake water became somewhat less turbid. By 1986 the sediment record indicates that diatom productivity had increased beyond rates of diatom destruction. Neither increased nutrients nor reduced pesticides can account for increased diatom productivity, but grain size studies imply that before 1986 diatoms were light limited by high levels of turbidity. This study documents how reservoirs may relate to land-use practices and how watershed management could extend reservoir life and improve water quality.