Back to results
University of Illinois at Urbana-Champaign
Analyses of Pointers, Induction Variables, and Container Objects for Dependence Testing
Abstract
dc:descriptionThe last analysis targets container objects that are provided by standard libraries. Object-oriented design plays an increasing role in performance-critical codes. When dealing with general-purpose programs, arrays share their preeminence with more general container components, such as lists, sets, and hash-tables. We provide a pointer analysis that accurately models containers, iterators, and container-element connections. The analysis is an extension of Sagiv, Reps and Wilhelm's shape analysis for destructive updating. The output of the analysis can be interpreted as alias relations, shape properties, or connectivity.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2015
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Wu, Peng
- Contributors dc:contributor
-
- Padua, David A.
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (MiAaPQ)AAI3023234
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/81587