MuSynth: Program Synthesis via Code Reuse and Code Manipulation

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{Kashyap:2017:SSBSE,
  author =       "Vineeth Kashyap and Rebecca Swords and 
                 Eric Schulte and David Melski",
  title =        "{MuSynth}: Program Synthesis via Code Reuse and Code
                 Manipulation",
  booktitle =    "Proceedings of the 9th International Symposium on
                 Search Based Software Engineering, SSBSE 2017",
  year =         "2017",
  editor =       "Tim Menzies and Justyna Petke",
  volume =       "10452",
  series =       "LNCS",
  pages =        "117--123",
  address =      "Paderborn, Germany",
  month =        sep # " 9-11",
  publisher =    "Springer",
  keywords =     "genetic algorithms, genetic programming, genetic
                 improvement, SBSE, Program synthesis, Evolutionary
                 computation, Code reuse, Big code, source forager,
                 lexicase selection, type-base heuristics, clang,
                 software evolution library, evoall, randall",
  isbn13 =       "978-3-319-66299-2",
  DOI =          "doi:10.1007/978-3-319-66299-2_8",
  size =         "7 pages",
  abstract =     "MuSynth takes a draft C program with holes, a test
                 suite, and optional simple hints that together specify
                 a desired functionality and performs program synthesis
                 to auto-complete the holes. First, MuSynth leverages a
                 similar-code-search engine to find potential donor code
                 (similar to the required functionality) from a corpus.
                 Second, MuSynth applies various synthesis mutations in
                 an evolutionary loop to find and modify the donor code
                 snippets to fit the input context and produce the
                 expected functionality. This paper focuses on the
                 latter, and our preliminary evaluation shows that
                 MuSynth's combination of type-based heuristics, simple
                 hints, and evolutionary search are each useful for
                 efficient program synthesis.",
  notes =        "Is this GP?

                 Short Papers http://ssbse17.github.io/ Co-located with
                 FSE/ESEC 2017",
}

Genetic Programming entries for Vineeth Kashyap Rebecca Swords Eric Schulte David Melski

Citations