Period Progress on Parallelization

• Parallelization based on strict independence
  • Correctness of the framework proved
    • Graph-based semantics w.r.t. sequential execution
    • Simplification phase of the graph w.r.t. sequential graph
    • Transformed graph (via ``annotators'') w.r.t. simplified graph

  • Assessment of the implemented tools finalized

• Parallelization based on non-strict independence
  • Design and implementation of an annotator that exploits conditional parallelism: CRLP
  • Implementation of new run-time tests
  • Assessment of the implemented annotator

• Possibilities of improved analyses investigated
  • Pisa's analysis of cut
  • Soton's Depth-K Sharing analysis
  • UPM's Incremental analysis