@InProceedings{livshits-popl15a-boosting,
  title =        "Program Boosting: Program Synthesis via
                 Crowd-Sourcing",
  author =       "Robert Cochran and Loris D'Antoni and Benjamin
                 Livshits and David Molnar and Margus Veanes",
  year =         "2015",
  month =        jan,
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages {(POPL)}",
}