An Approach for Proving the Correctness of Inspector/Executor Transformations

@inproceedings{Norrish2014AnAF,
  title={An Approach for Proving the Correctness of Inspector/Executor Transformations},
  author={Michael Norrish and Michelle Mills Strout},
  booktitle={LCPC},
  year={2014}
}
To take advantage of multicore parallelism, programmers and compilers rewrite, or transform, programs to expose loop-level parallelism. Showing the correctness, or legality, of such program transformations enables their incorporation into compilers. However, the correctness of inspector/executor strategies, which develop parallel schedules at runtime for computations with nonaffine array accesses, rests on the correctness of the inspector code itself. Since inspector code is often provided in a… CONTINUE READING
BETA

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 30 REFERENCES

Similar Papers

Loading similar papers…