Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions

@inproceedings{Fedyukovich2016ApproachingSP,
  title={Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions},
  author={Grigory Fedyukovich and Rastislav Bod{\'i}k},
  booktitle={SYNT@CAV},
  year={2016}
}
We present GraSSP, a novel approach to perform automated parallelization relying on recent advances in formal verification and synthesis. GraSSP augments an existing sequential program with an additional functionality to decompose data dependencies in loop iterations, to compute partial results, and to compose them together. We show that for some classes of the sequential prefix sum problems, such parallelization can be performed efficiently. 

Citations

Publications citing this paper.

References

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

MapReduce program synthesis

VIEW 2 EXCERPTS

MSL: A Synthesis Enabled Language for Distributed Implementations

VIEW 2 EXCERPTS