On the importance of points-to analysis and other memory disambiguation methods for C programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 5, 2001, Pages 47-58

  Ghiya, Rakesh ^a   Lavery, Daniel ^a   Sehr, David ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 18844390479     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/381694.378806     Document Type: Article

References (18)

1. Novak, S., Hummel, J., and Nicolau, A. A Simple Mechanism for Improving the Accuracy and Efficiency of Instruction-Level Disambiguation. 8th International Workshop on Languages and Compilers for Parallel Computing, Springer-Verlag, August 1995, 289-303.
2. Chow, F., Chan, S., Kennedy, R., Liu, S., Lo, R., and Tu, P. A New Algorithm for Partial Redundancy Elimination Based on SSA form. Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, June 1997, 273-286.
3. Bharadwaj, J., Menezes, K., and McKinsey, C. Wavefront Scheduling: Path Based Data Representation and Scheduling of Subgraphs. Proceedings of the 32nd Annual ACM/IEEE International Symposium on Microarchitecture, 1999, 262-271.
4. Andersen, L. O. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19)
5. Rountev, A., and Chandra, S. Off-line Variable Substitution for Scaling Points-to Analysis. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000, 47-56.
6. Fahndrich, M., Foster, J., Su, Z., and Aiken. A. Partial Online Cycle Elimination in Inclusion Constraint Graphs. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1998, 85-96.
7. Das, M. Unification-based Pointer Analysis with Directional Assignments. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000, 35-46.
8. Hwu, W., Hank, R., Gallagher, D., Mahlke, S., Lavery, D., Haab, G., Gyllenhaal, J., and August, D. Compiler Technology for Future Microprocessors, Proceedings of the IEEE, December 1995, pp. 1625-1640.
9. Sharangpani, H., and Arora, K. Itanium Processor Microarchitecture. IEEE Micro, Vol 20, No 5, Sept 2000, 24-43.
10. Huck, J., Morris, D., Ross, J., Knies, A., Mulder, H., and Zahir, R. Introducing the IA-64 Architecture. IEEE Micro, Vol 20, No 5, Sept/Oct 2000, 12-23.
11. Bharadwaj, J., Chen, W., Chuang, W., Hoflehner, G., Menezes, K., Muthukumar, K., and Pierce, J. The Intel IA-64 Compiler Code Generator. IEEE Micro, Vol 20, No 5, Sept/Oct 2000, 44-53.
12. Krishnaiyer, R., Kulkarni, D., Lavery, D., Li, W., Lim, C., Ng, J., and Sehr, D. An Advanced Optimizer for the IA-64 Architecture. IEEE Micro, Vol 20, No 6, Nov 2000, 60-68.
13. Wilson, R. P., and Lam, M. S. Efficient Context-Sensitive Pointer Analysis for C Programs. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1995, 1-12.
14. Ghiya, R., and Hendren, L. Putting Pointer Analysis to Work. Proceedings of ACM SIGPLAN/SIGACT Conference on Principles of Programming Languages, Jan 1998, 121-133.
15. Diwan, A., McKinley K., and Moss, J. Type-based Alias Analysis. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1998, 106-117.
16. Cheng, B., and Hwu, W., Modular Interprocedural Pointer Analysis using Access Paths: Design, Implementation, and Evaluation. Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000, 57-69.
17. Pioli, A., and Hind, M. Evaluating the Effectiveness of Pointer Alias Analyses. Science of Computer Programming, Vol. 39(1) (2001), 31-55.
18. Ghiya, R., and Hendren, L. Is it a Tree, DAG, or a Cyclic Graph? A Shape Analysis for Heap-directed Pointers in C. Proceedings of ACM SIGPLAN/SIGACT Conference on Principles of Programming Languages, Jan 1996, 1-15.