Back to results
University of Illinois at Urbana-Champaign
Context -Sensitive Pointer Analysis Based on Procedural Summaries
Abstract
dc:descriptionOverall, the accuracy of the proposed context-sensitive analysis is equivalent to that achieved by exhaustively inlining all procedure calls with the exception for recursive calls. On the other hand, thanks to the simplification algorithms, the scalability of the proposed context-sensitive analysis is comparable to that achieved by context-insensitive analysis.
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
-
- Kim, Hong-Seok
- Contributors dc:contributor
-
- Hwu, Wen-Mei W.
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (MiAaPQ)AAI3160902
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/81655