- author = "Alexander Wild and Barry Porter",
- title = "General Program Synthesis using Guided Corpus Generation and Automatic Refactoring",
- booktitle = "SSBSE 2019",
- year = "2019",
- editor = "Shiva Nejati and Gregory Gay",
- volume = "11664",
- series = "LNCS",
- pages = "89--104",
- address = "Tallinn, Estonia",
- month = "31 " # aug # " - 1 " # sep,
- publisher = "Springer",
- keywords = "genetic algorithms, genetic programming, genetic improvement, ANN, SBSE",
- isbn13 = "978-3-030-27454-2",
-
URL = "
http://barryfp.com/swc/pdfs/2019_ssbse_wild.pdf",
-
DOI = "
doi:10.1007/978-3-030-27455-9_7",
- size = "15 pages",
- abstract = "Program synthesis aims to produce source code based on a user specification, raising the abstraction level of building systems and opening the potential for non-programmers to synthesise their own bespoke services. Both genetic programming (GP) and neural code synthesis have proposed a wide range of approaches to solving this problem, but both have limitations in generality and scope. We propose a hybrid search-based approach which combines (i) a genetic algorithm to autonomously generate a training corpus of programs centred around a set of highly abstracted hints describing interesting features; and (ii) a neural network which trains on this data and automatically refactors it towards a form which makes a more ideal use of the neural network's representational capacity. When given an unseen program represented as a small set of input and output examples, our neural network is used to generate a rank-ordered search space of what it sees as the most promising programs; we then iterate through this list up to",
-
notes = "Is this
GI?
https://bitbucket.org/AlexanderWildLancaster/automaticrefactoringsynthesis.git
Python, Tensorflow, JVM openjdk.
C like programs are output of multi-layer ANN (8 intermediate residual layers?) line by line. Input 1700 neurons connected to 10 program I/O examples concatinated together. Protect loop control variables? Penalise poor multiple uses of array elements? Examples: Absoulte..Sum vales.
http://ssbse19.mines-albi.fr/",
