General Program Synthesis using Guided Corpus Generation and Automatic Refactoring

Wild, Alexander and Porter, Barry (2019) General Program Synthesis using Guided Corpus Generation and Automatic Refactoring. In: Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings. Lecture Notes in Computer Science . Springer-Verlag, Cham, pp. 89-104. ISBN 9783030274542

[thumbnail of wild19ssbse]
Text (wild19ssbse)
wild19ssbse.pdf - Accepted Version
Available under License Creative Commons Attribution-NonCommercial.

Download (1MB)

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 a given maximum search depth. Our results show that this approach is able to find up to 60% of a human-useful target set of programs that it has never seen before, including applying a clip function to the values in an array to restrict them to a given maximum, and offsetting all values in an array.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
134355
Deposited By:
Deposited On:
22 Jun 2019 01:03
Refereed?:
Yes
Published?:
Published
Last Modified:
21 Jan 2024 00:31