Overview

• Parallelization, based on
  • Strict independence
  • Non-strict independence
  • Other forms of independence

• Sequentialization: keep parallelization overheads under control
  • Granularity analysis
  • Granularity control

• Enabling technology: program analysis: abstract interpretation
  • Dependencies: sharing, groundness, instantiation state (depth-k), ...
  • Granularity: types, costs, non-failure, ...

• (Other) Optimizations based on analysis information
  • Program simplification
  • Multiple specialization