kirancodes.me
To Proof Maintenance & Beyond!

Program Boosting: Program Synthesis via Crowd-Sourcing

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

Abstract

In this paper, we investigate an approach to program synthesis that is based on crowd-sourcing. With the help of crowd-sourcing, we aim to capture the "wisdom of the crowds" to find good if not perfect solutions to inherently tricky programming tasks, which elude even expert developers and lack an easy-to-formalize specification.

Related papers