Specialising Software for Different Downstream Applications Using Genetic Improvement and Code Transplantation

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

@Article{Petke:2017:ieeeTSE,
  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",
  keywords =     "genetic algorithms, genetic programming, genetic
                 improvement, GI, code transplants, code specialisation,
                 SAT, ImageMagick, GraphicsMagick",
  URL =          "http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/Petke_2017_ieeeTSE.pdf",
  DOI =          "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}",
}

Genetic Programming entries for Justyna Petke Mark Harman William B Langdon Westley Weimer

Citations