Synthesizing Programs from Program Pieces using Genetic Programming and Refinement Type Checking
Created by W.Langdon from
gp-bibliography.bib Revision:1.7954
- @InProceedings{Tseng:2022:EuroGP,
-
author = "Sabrina Tseng and Erik Hemberg and Una-May O'Reilly",
-
title = "Synthesizing Programs from Program Pieces using
Genetic Programming and Refinement Type Checking",
-
booktitle = "EuroGP 2022: Proceedings of the 25th European
Conference on Genetic Programming",
-
year = "2022",
-
editor = "Eric Medvet and Gisele Pappa and Bing Xue",
-
series = "LNCS",
-
volume = "13223",
-
publisher = "Springer Verlag",
-
address = "Madrid, Spain",
-
pages = "197--211",
-
month = "20-22 " # apr,
-
organisation = "EvoStar, Species",
-
keywords = "genetic algorithms, genetic programming: Poster",
-
isbn13 = "978-3-031-02055-1",
-
DOI = "doi:10.1007/978-3-031-02056-8_13",
-
code_url = "https://github.com/sabrinatseng/GAble",
-
abstract = "Program synthesis automates the process of writing
code, which can be a very useful tool in allowing
people to better leverage computational resources.
However, a limiting factor in the scalability of
current program synthesis techniques is the large size
of the search space, especially for complex programs.
We present a new model for synthesising programs which
reduces the search space by composing programs from
program pieces, which are component functions provided
by the user. Our method uses genetic programming search
with a fitness function based on refinement type
checking, which is a formal verification method that
checks function behavior expressed through types. We
evaluate our implementation of this method on a set of
3 benchmark problems, observing that our fitness
function is able to find solutions in fewer generations
than a fitness function that uses example test cases.
These results indicate that using refinement types and
other formal methods within genetic programming can
improve the performance and practicality of program
synthesis.",
-
notes = "http://www.evostar.org/2022/eurogp/ Part of
\cite{Medvet:2022:GP} EuroGP'2022 held inconjunction
with EvoApplications2022 EvoCOP2022 EvoMusArt2022",
- }
Genetic Programming entries for
Sabrina Tseng
Erik Hemberg
Una-May O'Reilly
Citations