Gradual synthesis for static parallelization of single-pass array-processing programs

Parallelizing of software improves its effectiveness and productivity. To guarantee correctness, the parallel and serial versions of the same code must be formally verified to be equivalent. We pre...