Program Boosting: Program Synthesis via Crowd-Sourcing.

Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes

Browse the full POPL paper archive.