- author = "Justyna Petke and Mark Harman and William B. Langdon and Westley Weimer",
- title = "Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation",
- journal = "IEEE Transactions on Software Engineering",
- year = "2018",
- volume = "44",
- number = "6",
- pages = "574--594",
- month = jun,
- keywords = "genetic algorithms, genetic programming, genetic improvement, GI, code transplants, code specialisation, SAT, ImageMagick, GraphicsMagick, NFR",
- ISSN = "0098-5589",
-
URL = "
http://www.cs.ucl.ac.uk/staff/J.Petke/papers/Petke_2017_TSE.pdf",
-
URL = "http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/Petke_2017_ieeeTSE.pdf",
-
code_url = "
http://crest.cs.ucl.ac.uk/sat/satimagegi.tar.gz",
-
DOI = "
10.1109/TSE.2017.2702606",
- size = "21 pages",
- abstract = "Genetic improvement uses automated search to find improved versions of existing software. Genetic improvement has previously been concerned with improving a system with respect to all possible usage scenarios. In this paper, we show how genetic improvement can also be used to achieve specialisation to a specific set of usage scenarios. We use genetic improvement to evolve faster versions of a C++ program, a Boolean satisfiability solver called MiniSAT, specialising it for three applications. Our specialised solvers achieve between 4percent and 36percent execution time improvement, which is commensurate with efficiency gains achievable using human expert optimisation for the general solver. We also use genetic improvement to evolve faster versions of an image processing tool called ImageMagick, using code from GraphicsMagick, another image processing tool which was forked from it. We specialise the format conversion functionality to black and white images and colour images only. Our specialised versions achieve up to 3percent execution time improvement.",
-
notes = "Extends
\cite{Petke:2014:EuroGP}
http://www0.cs.ucl.ac.uk/staff/J.Petke/papers/satimagegi.tar.gz",
