Expected forms of data flow analyses

On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Predicated array data-flow analysis for run-time parallelization

ICS '98 Proceedings of the 12th international conference on Supercomputing

Evaluation of predicated array data-flow analysis for automatic parallelization

Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming

On the power of abstract interpretation

Computer Languages