It’s all in the Semantics: When are Genetically Improved Programs Still Correct?
Created by W.Langdon from
gp-bibliography.bib Revision:1.7970
- @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