Access Restriction

Author Livshits, Benjamin ♦ Veanes, Margus ♦ Cochran, Robert A. ♦ Molnar, David ♦ D'Antoni, Loris
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Computer programming, programs & data
Subject Keyword Crowd-sourcing ♦ Regular expressions ♦ Symbolic automata ♦ Program synthesis
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. We propose an approach we call program boosting, which involves crowd-sourcing imperfect solutions to a difficult programming problem from developers and then blending these programs together in a way that improves their correctness. We implement this approach in a system called CROWDBOOST and show in our experiments that interesting and highly non-trivial tasks such as writing regular expressions for URLs or email addresses can be effectively crowd-sourced. We demonstrate that carefully blending the crowd-sourced results together consistently produces a boost, yielding results that are better than any of the starting programs. Our experiments on 465 program pairs show consistent boosts in accuracy and demonstrate that program boosting can be performed at a relatively modest monetary cost.
Description Affiliation: Microsoft Research, Redmond, WA, USA (Livshits, Benjamin; Molnar, David; Veanes, Margus) || University of Pennsylvania, Philadelphia, PA, USA (D'Antoni, Loris) || University of North Carolina at Chapel Hill, Chapel Hill, NC, USA (Cochran, Robert A.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1983-05-01
Publisher Place New York
Journal ACM SIGPLAN Notices (SIGP)
Volume Number 50
Issue Number 1
Page Count 12
Starting Page 677
Ending Page 688

Open content in new tab

   Open content in new tab
Source: ACM Digital Library