Parasol Compilers: Hybrid Analysis
Hybrid Analysis: How it Works
Formulation of Data Dependence Equations

Independence conditions are formulated as Dependence Set = Φ, where Dependence Set is the set of dependent memory locations. This identity can be seen as an equation in which the unknowns are the symbolic values that appear in the expression of Dependence Set.


Computation of the Dependence Set for a loop based on the aggregation and classification of memory references within its body.

Publications and Presentations

Silvius Rus, Lawrence Rauchwerger, "Hybrid Dependence Analysis for Automatic Parallelization," Technical Report, TR05-013, Parasol Laboratory, Department of Computer Science, Texas A&M University, Nov 2005.
Technical Report(ps, pdf, ppt, abstract)

Silvius Rus, Lawrence Rauchwerger, Jay Hoeflinger, "Hybrid Analysis: Static & Dynamic Memory Reference Analysis," International Journal of Parallel Programming, 31(4):251-283, Aug 2003. Also, In Proc. ACM Int. Conf. Supercomputing (ICS), pp. 274-284, New York City, Jun 2002. Also, Technical Report, TR02-002, Parasol Laboratory, Department of Computer Science, Texas A&M University, Jan 2002.
Journal(pdf, ppt, abstract) Proceedings(ps, pdf, ppt, abstract) Technical Report(ps, pdf, ppt, abstract)

HA: How It Works

Site Map