Gradual synthesis for static parallelization of single-pass array-processing programs
Translating imperative code to MapReduce