Inter-procedural Analysis for Parallelization of Java Programs

Parallelization of Java programs is a complex task due to inheritance, dynamic method dispatching and aliases. Our research [2] aims to perform static analysis of Java programs in order to identify implicit parallelism. In this paper, we discuss first the inter-procedural analysis technique we are studying and implementing to characterize data-dependency. And then we enhance this framework with type-based alias analysis.