J. Barnes and P. Hut. A Hierarchical O(n log n) force
calculation algorithm. Nature v.324, December 1986.
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.
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
P. Cousot and R. Cousot.
Abstract interpretation: A unified lattice model for static
analysis of programs by construction of approximation of fixed
In Proceedings of the ACM Symposium on Principles of Programming
Languages. ACM Press, New York. 238-252, 1977.
Putting Pointer Analysis to Work,
School of Computer Science, McGill University, Montreal, May 1998.
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.
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,
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.
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,
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.
M. Sagiv, T. Reps and R. Wilhelm.
Solving Shape-Analysis problems in Languages with destructive
ACM Transactions on Programming Languages and Systems, 20(1):1-50,
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.
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