Phased synthesis of divide and conquer programs.

Azadeh Farzan, Victor Nicolet

Browse the full PLDI paper archive.