Synthesis of divide and conquer parallelism for loops.

Azadeh Farzan Victor Nicolet

Published in: PLDI (2017)

Keyphrases

parallel processing
shared memory
program synthesis
multi agent
real world
computational power
data parallelism
neural network
database systems
data structure
logic programs
texture synthesis
massively parallel
processing elements
functional programs