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

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodk

Browse the full PLDI paper archive.