Sequentialization / Granularity Control [Soton]

• Achievements:
  • Proposed technique for producer-consumer analysis in concurrent programs.
  • Proposed several techniques for schedule analysis and granularity control of concurrent programs. Takes data dependencies as input and produces threads of totally ordered processes.
  • Proposed abstract interpretation techniques to derive possible and definite ordering information.
  • Proposed a method for continuation-based compilation of ccp.
  • Proposed improved sharing and linearity analysis machinery.
  • Performed systematic comparisons of several analyses.