Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Alias analysis

Alias analysis is a technique in compiler theory, used to determine if a storage location may be accessed in more than one way. Two pointers are said… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Many synchronizations in existing multi-threaded programs are implemented in an ad hoc way. The first part of this paper does a… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 4
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Although automated empirical performance optimization and tuning is well-studied for kernels and domain-specific libraries, a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper presents a demand-driven, flow-insensitive analysisalgorithm for answering may-alias queries. We formulate… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. Our approach… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present a novel approach to dynamic datarace detection for multithreaded object-oriented programs. Past techniques for on-the… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We present practical approximation methods for computing and representing interprocedural aliases for a program written in a… Expand
  • figure 1
  • figure 4
  • figure 6
  • figure 8
  • figure 10
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Existing methods for alias analysis of recursive pointer data structures are based on two approximation techniques: k-limiting… Expand
  • figure 1
  • figure 8
  • figure 13
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Alias analysis is a prerequisite for performing most of the common program analyses such as reaching-definitions analysis or live… Expand
  • figure 2
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Data-flow analysis of scalar variables and data dependence analysis on array elements are two important program analyses used in… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?