Using knowledge of human-generated code to bias the search in program synthesis with grammatical evolution

Proceedings of the Genetic and Evolutionary Computation Conference Companion ◽

10.1145/3449726.3459548 ◽

2021 ◽

Author(s):

Dirk Schweim ◽

Erik Hemberg ◽

Dominik Sobania ◽

Una-May O'Reilly ◽

Franz Rothlauf

Keyword(s):

Program Synthesis ◽

Grammatical Evolution

Download Full-text

Experiments in program synthesis with grammatical evolution: A focus on Integer Sorting

2014 IEEE Congress on Evolutionary Computation (CEC) ◽

10.1109/cec.2014.6900578 ◽

2014 ◽

Author(s):

Michael O'Neill ◽

Miguel Nicolau ◽

Alexandros Agapitos

Keyword(s):

Program Synthesis ◽

Grammatical Evolution ◽

Integer Sorting

Download Full-text

On domain knowledge and novelty to improve program synthesis performance with grammatical evolution

Proceedings of the Genetic and Evolutionary Computation Conference ◽

10.1145/3321707.3321865 ◽

2019 ◽

Author(s):

Erik Hemberg ◽

Jonathan Kelly ◽

Una-May O'Reilly

Keyword(s):

Domain Knowledge ◽

Program Synthesis ◽

Grammatical Evolution

Download Full-text

Challenges of Program Synthesis with Grammatical Evolution

Lecture Notes in Computer Science - Genetic Programming ◽

10.1007/978-3-030-44094-7_14 ◽

2020 ◽

pp. 211-227 ◽

Author(s):

Dominik Sobania ◽

Franz Rothlauf

Keyword(s):

Program Synthesis ◽

Grammatical Evolution

Download Full-text

Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning

10.21236/ada363524 ◽

1999 ◽

Author(s):

Ute Schmid

Keyword(s):

Program Synthesis

Download Full-text

Accelerating search-based program synthesis using learned probabilistic models

ACM SIGPLAN Notices ◽

10.1145/3296979.3192410 ◽

2018 ◽

Vol 53 (4) ◽

pp. 436-449 ◽

Author(s):

Woosuk Lee ◽

Kihong Heo ◽

Rajeev Alur ◽

Mayur Naik

Keyword(s):

Probabilistic Models ◽

Program Synthesis

Download Full-text

Reconciling enumerative and deductive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386027 ◽

2020 ◽

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

FlashMeta: a framework for inductive program synthesis

ACM SIGPLAN Notices ◽

10.1145/2858965.2814310 ◽

2015 ◽

Vol 50 (10) ◽

pp. 107-126 ◽

Author(s):

Oleksandr Polozov ◽

Sumit Gulwani

Keyword(s):

Program Synthesis

Download Full-text

Benchmarking parent selection for program synthesis by genetic programming

Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion ◽

10.1145/3377929.3389987 ◽

2020 ◽

Author(s):

Thomas Helmuth ◽

Amr Abdelhady

Keyword(s):

Genetic Programming ◽

Program Synthesis ◽

Parent Selection ◽

Download Full-text

Learning Network Design Objectives Using A Program Synthesis Approach

Proceedings of the 18th ACM Workshop on Hot Topics in Networks - HotNets '19 ◽

10.1145/3365609.3365861 ◽

2019 ◽

Author(s):

Yanjun Wang ◽

Chuan Jiang ◽

Xiaokang Qiu ◽

Sanjay G. Rao

Keyword(s):

Network Design ◽

Program Synthesis ◽

Learning Network ◽

Synthesis Approach

Download Full-text

Scalability analysis of grammatical evolution based test data generation

Proceedings of the 2020 Genetic and Evolutionary Computation Conference ◽

10.1145/3377930.3390167 ◽

2020 ◽

Author(s):

Muhammad Sheraz Anjum ◽

Conor Ryan

Keyword(s):

Test Data ◽

Grammatical Evolution ◽

Test Data Generation ◽

Data Generation ◽

Scalability Analysis

Download Full-text