next up previous
Next: About this document ... Up: Progressive Shape Analysis for Previous: Conclusions and future work

Bibliography

1
J. Barnes and P. Hut. A Hierarchical O(n$ \cdot$ log n) force calculation algorithm. Nature v.324, December 1986.

2
F. Corbera, R. Asenjo and E.L. Zapata New shape analysis for automatic parallelization of C codes. In ACM International Conference on Supercomputing, 220-227, Rhodes, Greece, June 1999.

3
F. Corbera, R. Asenjo and E.L. Zapata Accurate Shape Analysis for Recursive Data Structures. In 3th Int'l. Workshop on Languages and Compilers for Parallel Computing (LCPC'2000), IBM T.J. Watson Res. Ctr., Yorktown Heights, New York, NY, August 10-12, 2000.

4
P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In Proceedings of the ACM Symposium on Principles of Programming Languages. ACM Press, New York. 238-252, 1977.

5
R. Ghiya Putting Pointer Analysis to Work, Ph.D. Dissertation, School of Computer Science, McGill University, Montreal, May 1998.

6
E. Gutiérrez, R. Asenjo, O. Plata and E.L. Zapata, Automatic Parallelization of Irregular Applications. J. Parallel Computing, vol. 26, no. 13-14, December 2000, pp. 1709-1738.

7
J. Hoeflinger and Y. Paek The Access Region Test. In Twelfth International Workshop on Languages and Compilers for Parallel Computing (LCPC'99), The University of California, San Diego, La Jolla, CA USA, August, 1999.

8
S. Horwitz, P. Pfeiffer, and T. Reps. Dependence Analysis for Pointer Variables. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, 28-40, June 1989.

9
N. Jones and S. Muchnick. Flow Analysis and Optimization of Lisp-like Structures. In Program Flow Analysis: Theory and Applications, S. Muchnick and N. Jones, Englewood Cliffs, NJ: Prentice Hall, Chapter 4, 102-131, 1981.

10
J. Plevyak, A. Chien and V. Karamcheti. Analysis of Dynamic Structures for Efficient Parallel Execution. In Languages and Compilers for Parallel Computing, U. Banerjee, D. Gelernter, A. Nicolau and D. Padua, Eds. Lectures Notes in Computer Science, vol 768, 37-57. Berlin Heidelberg New York: Springer-Verlag 1993.

11
M. Sagiv, T. Reps and R. Wilhelm. Solving Shape-Analysis problems in Languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1-50, January 1998.

12
M. Sagiv, T. Reps, and R. Wilhelm, Parametric shape analysis via 3-valued logic. In Conference Record of the Twenty-Sixth ACM Symposium on Principles of Programming Languages, San Antonio, TX, Jan. 20-22, ACM, New York, NY, 1999, pp. 105-118.

13
Y. Hwang and J. Saltz. Identifying DEF/USE information of statements that construct and traverse dynamic recursive data structures In Proceedings of 10th International Workshop on Languages and Compilers for Parallel Computing, University of Minnesota, August 1997.



Rafael Asenjo Plaza 2002-02-19