CS 6235 - Analysis of Parallel Programs
Project
Parallel programs bring in an additional complexity to progam analysis.
Many of the serial analysis have to be rewritten in the context of parallel programs.
The goal of this project is to identify the impact of parallelism (MHP analysis) on different analysis.
Each one of you is expected to choose an analysis and study the impact of MHP analysis on your chosen analysis.
Context sensitive constant propagation
Context insensitive constant propagation
Context sensitive Points-to Analysis
Context insensitive Points-to Analysis
Context sensitive Escape analysis
Context insensitive Escape analysis
Dependence analysis for Loop Distribution
Loop parallelization
Reaching definitions (X10)
Inter-procedural Program Slicing - Java
Steps to follow:
- Step 1.
- Make group - max team size = 2.
- Choose a classical analysis from the above set (or find one yourself and inform).
- Deadline: Apr 23
- Step 2. Write a section about the classical analysis.
- Motivate the importance of the analysis.
- Explain the algorithm for the analysis.
- Show an example illustrating how you apply the analysis.
- Deadline: Submit the document (preliminary report) by Apr 30
- Step 3. Impact of Parallelism.
- Study the impact of parallelism on the chosen analysis.
- Write two examples that show the impact.
- Design a new algorithm to perform the same analysis on parallel programs.
- Show how the algorithm fares on the two chosen examples.
- Deadline: Submit the final report (combining preliminary report and this one) by May 10.