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

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík. Gradual synthesis for static parallelization of single-pass array-processing programs. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 572-585, ACM, 2017. [doi]

Abstract

Abstract is missing.