Sequentialization / Granularity Control [Soton]
WS Presentations Main Page
Next: Assessment and Prog.
Up: Document: achievements
Previous: Sequentialization / Granularity
- 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.
Thu Jan 18 11:30:54 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>