Synthesizing Programs from Program Pieces using Genetic Programming and Refinement Type Checking

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

@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