Person:
Harrold, Mary Jean

Permanent Link
https://hdl.handle.net/1853/71329
Associated Organization(s)
Organizational Unit
ORCID
ArchiveSpace Name Record

Filters

2001 - 2002 2
2
2
2
2
Reset filters

Settings
Author: Pennings, Maikel × End date: 2009 × Start date: 2000 × search.filters.applied.f.isOrgUnitOfPublicationTitle: College of Computing ×

Publication Search Results

Now showing 1 - 2 of 2
Thumbnail Image
Item

Paper: Evaluating the Precision of Static Reference Analysis Using Profiling

2002 , Liang, Donglin , Pennings, Maikel , Harrold, Mary Jean

Program analyses and optimization of Java programs require reference information that determines the instances that may be accessed through dereferences. Reference information can be computed using reference analysis. This paper presents a set of studies that evaluate the precision of some existing approaches for identifying instances and for computing reference information in a reference analysis. The studies use dynamic reference information collected during run-time as a lower bound approximation to the precise reference information. The studies measure the precision of an existing approach by comparing the information computed using the approach with the lower bound approximation. The paper also presents case studies that attempt to identify the cases under which an existing approach is not effective. The presented studies provide information that may guide the usage of existing reference analysis techniques and the development of new reference analysis techniques.

View
Thumbnail Image
Item

Extending and Evaluating Flow-Insensitve and Context-insensitive Points-to Analyses for Java

2001 , Liang, Donglin , Pennings, Maikel , Harrold, Mary Jean

This paper presents extensions to Steensgaard's and Andersen's algorithms to handle Java features. Without careful consideration, the handling of these features may affect the correctness, precision, and efficiency of these algorithms. The paper also presents the results of empirical studies. These studies compare the precision and efficiency of these two algorithms and evaluate the effectiveness of handling Java features using alternative approaches. The studies also evaluate the impact of the points-to information provided by these two algorithms on client analyses that use the information.

View