JVM-based Techniques for Improving Java Observability

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.

AN ANALYSIS OF SMALL BUSINESS LOAN GUARANTEE FUNDS

Small businesses are considered important engines for job growth and economic development by policy makers worldwide. One of the most commonly cited constraints of small businesses is a lack of access to capital. To address this constraint, small business loan guarantee programs have been established in over 100 countries. There are a variety of types of guarantee funds, with the most significant differences being which borrowers are eligible for guarantees, and how borrowers are approved for guarantees. There is currently no clear delineation between types of programs and the economic conditions they operate in, though some trends are becoming apparent. However, these trends may not be leading to the best economic outcomes possible. By better matching the structure of the guarantee fund to the economic conditions it operates in, the program’s success in meeting economic development goals may be greatly improved. Many programs in developing countries may not be taking advantage of bank expertise and may be limiting the scope of their effectiveness. At the same time, programs in developed countries may be wasting resources by scattering their efforts too thinly and subsidizing less competitive firms to the detriment of local economic development.

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.

A Qualitative Analysis of Youth Feedback of Nutrition School Enrichment Kits in Lincoln, NE

A Qualitative Analysis of Youth Feedback of Nutrition School Enrichment Kits in Lincoln, NE Richard A. Losey, M.S. University of Nebraska, 2010 Advisor: Wanda M. Koszewski The qualitative analysis of the responses given by students participating in classrooms that used the Nutrition Education Program‟s (NEP) school enrichment kits was the primary focus of this research. Data was collected from the participants in written form. Three major themes appeared during analysis of the data, healthy eating habits, cleanliness and change. The theme of healthy eating habits is comprised of the following sub-themes: breakfast, nutrients, label reading, Food Guide Pyramid/MyPyramid and healthy snacks. Cleanliness is comprised of hand washing and food safety sub-themes. The change theme is made up of change in healthy eating habits, change in cleanliness and change in both healthy eating habits and cleanliness. The data suggests that participating students have made or intend to make changes regarding healthy eating habits and cleanliness, which is the goal of nutrition education. The students‟ responses indicate that the NEP school enrichment kits are effective in increasing the knowledge of students and promoting healthy lifestyle changes.

Analyzing the ACRE Program

The new farm bill enacted by Congress in June 2008 includes a new revenue-based safety-net, the Average Crop Revenue Election (ACRE) Program, that will be available to producers beginning with the 2009 crop year. This analysis of the mechanics of ACRE and the relevant yields and prices to include in ACRE can help producers assess whether ACRE will be a good choice for this crop year and beyond.

Energy Restriction During Breeding Gilt Development: An Economic Analysis

Swine production has increasingly become a lowmargin business. As costs of production have increased, producers are continuing to increase efficiency in both market pig production and gilt development. Restricting energy during gilt development reduces feeding costs and can enhance some productivity measures, but can also negatively impact other areas of production. Thus, the net economic returns from a restricted energy gilt development program are unclear. This study utilized gilt development and market pig production data for two genetic lines of hogs, LWxLR (a cross between industry Large White and Landrace) and L45X (a Nebraska line selected 23 generations for increased litter size) from Johnson and Miller and Johnson et al., to estimate the returns to finishing market hogs using conventional and restricted energy gilt development programs.

Analyzing the ACRE Program

The new farm bill enacted by Congress in June 2008 includes a new revenue-based safety net, the Average Crop Revenue Election (ACRE) Program, that is available to producers beginning with the 2009 crop year. While final details and implementation of the program is yet to be announced by the USDA Farm Service Agency (FSA), an analysis of the mechanics of ACRE and the relevant yields and prices to include in ACRE can help producers assess whether ACRE will be a good choice for this crop year and beyond.