Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls

Array dataflow analysis

Compiler optimizations for scalable parallel systems

Efficient and effective array bound checking

ACM Transactions on Programming Languages and Systems (TOPLAS)

Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies

International Journal of Parallel Programming

Scalable and structured scheduling

International Journal of Parallel Programming

Automatic detection of uninitialized variables

CC'03 Proceedings of the 12th international conference on Compiler construction