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

Grigory Fedyukovich Maaz Bin Safeer Ahmad Rastislav Bodík

Published in: PLDI (2017)

Keyphrases

single pass
stream mining
real time
data processing
parallel execution
parallel processing
highly parallel
functional programs
sensor array
database systems
high speed
focal plane