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.

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.