Alias analysis papers
M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive
interprocedural points-to analysis in the presence of function
pointers. In Proceedings of the SIGPLAN '94 Conference on
Programming Lanugage Design and Implementation, pages 242-256. ACM
SIGPLAN June 1994.
R. Ghiya,
Putting
Pointer Analysis to Work,
Ph.D. Thesis, McGill University, 1998.
R. Ghiya, L. J. Hendren, and Y. Zhu.
Detecting Parallelism in C Programs with Recursive Data
Structures. In
Proceedings of the 1998 International Conference on Compiler
Construction, March 1998.
R. Ghiya and L. J. Hendren. Putting Pointer Analysis to
Work. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, January 1998.
X. Tang, R. Ghiya, Laurie J. Hendren and Guang R. Gao. Heap
Analysis and Optimizations for Threaded Programs. In Proceedings of
PACT'97, November 1997.
R. Ghiya and L. J. Hendren. Connection Analysis: A practical
interprocedural heap analysis for C. International Journal of Parallel
Programming, 24(6), pages 547-578, 1996.
R. Ghiya and L. J. Hendren.
Is it a Tree, a DAG, or a Cyclic Graph? A shape
analysis for heap-directed pointers in C.
In Proceedings of the 23rd Annual ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-15,
January 1996.
R. Ghiya and L. J. Hendren.
Connection Analysis: A practical interprocedural
heap analysis for C.
In Proceedings of the 8th Workshop on Languages and Compilers for
Parallel Computing, August 1995. Number 1033 in LNCS, pages 515-534.
Springer-Verlag.
R. Ghiya. Interprocedural analysis in the presence of function
pointers. ACAPS Technical Memo 62, School of Computer Science, McGill
University, December 1992.
R. Ghiya. Practical techniques for interprocedural heap
analysis. Master's thesis, School of Computer Science, McGill
University, May 1995.
R. Hasti and S.Horwitz.
Using static single assignment form to improve flow-insensitive
pointer analysis.
In SIGPLAN 98: Conference on Programming Language
Design and Implementation, (Montreal, Canada, June 1998).
Landi, W. and Ryder, B. G. and Zhang, S.,
"Interprocedural Modification Side Effect Analysis With Pointer
Aliasing", Laboratory of Computer Science Research Technical
Report, Number LCSR-TR-201, Rutgers University, March, 1993.
Landi, W. and Ryder, B. G., "A Safe Approximate Algorithm for Interprocedural Pointer
Aliasing", Laboratory of Computer Science Research Technical Report, Number
LCSR-TR-168, Rutgers
University, September, 1991.
Erik Ruf.
Context-Insensitive Alias Analysis Reconsidered.
In ACM SIGPLAN '95
Conference on Programming Language Design and Implementation (PLDI'95),
La Jolla,
California, June 1995.
Sagiv, M., Reps, T., and Wilhelm, R.,
Solving
shape-analysis problems in languages with destructive updating.
In Conference Record of the
Twenty-Third ACM Symposium on Principles of Programming Languages,
(St. Petersburg, FL, Jan. 22-24, 1996), ACM, New York, NY, 1996,
pp. 16-31. [journal version]
M. Shapiro and S. Horwitz,
The effects
of the precision of pointer analysis, Static Analysis 4th
International Symposium, SAS '97,
Lecture Notes in Computer Science Vol 1302, (September 1997)
M. Shapiro and S. Horwitz,
Fast and accurate
flow-insensitive points-to analysis,
Conference Record of the Twenty-Fourth ACM Symposium on Principles of
Programming Languages, (Paris, France, January 1997).
Steensgaard, B.,
``Points-to Analysis by Type Inference of Programs
with Structures and Unions,'' In Proceedings of the 1996 International
Conference on Compiler Construction, number 1060 in Lecture Notes in
Computer Science, pages 136-150, Springer-Verlag, April 1996.
Steensgaard, B.,
``Points-to Analysis in Almost Linear Time,'' In
Proceedings of the Twentythird Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pp. 32-41, January 1996.
Robert P. Wilson.
Efficient Context-Sensitive Pointer Analysis For C Programs.
Ph.D. thesis, Stanford University, Computer Systems Laboratory, December,
1997.
R. P. Wilson and M. S. Lam.
Efficient Context-Sensitive Pointer Analysis for C Programs.
Proceedings of the ACM SIGPLAN'95 Conference on Programming
Language Design and Implementation, June, 1995.
Sean Zhang and Barbara G. Ryder and William Landi,
"Program
Decomposition for Pointer Aliasing: A Step towards Practical
Analyses", Proceedings of the 4th Symposium on the Foundations of
Software Engineering, October, 1996.
Sean Zhang and Barbara G. Ryder and William Landi,
"Program Decomposition for Pointer-induced Aliasing Analysis",
Laboratory of Computer Science Research Technical Report, Number
LCSR-TR-259, Rutgers University, March, 1996.
Thomas Lindgren / thomasl@csd.uu.se
Last modified: Tue May 12 12:31:10 MET DST 1998