It’s all in the Semantics: When are Genetically Improved Programs Still Correct?

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

@InProceedings{Cohen:2023:GI,

• author = "Myra B. Cohen",
• title = "It’s all in the Semantics: When are Genetically Improved Programs Still Correct?",
• booktitle = "12th International Workshop on Genetic Improvement @ICSE 2023",
• year = "2023",
• editor = "Vesna Nowack and Markus Wagner and Gabin An and Aymeric Blot and Justyna Petke",
• pages = "ix",
• address = "Melbourne, Australia",
• month = "20 " # may,
• publisher = "IEEE",
• note = "Invited Keynote",
• keywords = "genetic algorithms, genetic programming, Genetic Improvement",
• isbn13 = "979-8-3503-1232-4",
• URL = "http://gpbib.cs.ucl.ac.uk/gi2023/keynote_2023_gi.pdf",
• DOI = "doi:10.1109/GI59320.2023.00008",
• video_url = "https://www.youtube.com/watch?v=Mo3HiZr4kJQ&list=PLI8fiFpB7BoJLh6cUpGBjyeB1hM9DET1V&index=1",
• size = "1 page",
• abstract = "Genetic improvement (GI) is a powerful technique to automatically optimise programs, often for nonfunctional properties. As such, we expect to retain the original program semantics, hence GI is guided by both a functional test suite and at least one other objective such as program efficiency, memory usage, energy efficiency, etc. An assumption made is that it is possible to improve a program’s non-functional objective while retaining the program’s correctness, however, this assumption may not hold for all types of non-functional properties. In this talk I show why GI is naturally a multi-objective optimization problem and argue that it may be necessary to relax part of the program correctness to satisfy our non-functional goals. I discuss a few recent examples where we have had to balance functional correctness and non-functional objectives and demonstrate how this may lead to programs that are of higher quality in the end. This raises an important question about when it is possible to completely satisfy multiple (potentially competing) program objectives during GI, and when it is semantically impossible. This leads to the ultimate question of what it means for a program to be correct when using GI.",
• notes = "GI @ ICSE 2023, part of \cite{Nowack:2023:GI}",

}

Genetic Programming entries for Myra B Cohen

Citations