{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T07:37:04Z","timestamp":1783150624267,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T00:00:00Z","timestamp":1436572800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,11]]},"DOI":"10.1145\/2739480.2754752","type":"proceedings-article","created":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T19:38:55Z","timestamp":1436297935000},"page":"1327-1334","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":93,"title":["Reducing Energy Consumption Using Genetic Improvement"],"prefix":"10.1145","author":[{"given":"Bobby R.","family":"Bruce","sequence":"first","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Justyna","family":"Petke","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928380.1928389"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635871"},{"key":"e_1_3_2_1_3_1","author":"Barr E. T.","year":"2015","unstructured":"E. T. Barr , M. Harman , P. McMinn , M. Shahbaz , and S. Yoo . The oracle problem in software testing: A survey. IEEE Transactions on Software Engineering , 2015 . E. T. Barr, M. Harman, P. McMinn, M. Shahbaz, and S. Yoo. The oracle problem in software testing: A survey. IEEE Transactions on Software Engineering, 2015.","journal-title":"The oracle problem in software testing: A survey. IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1550723"},{"key":"e_1_3_2_1_5_1","unstructured":"Boston Consulting Group. GeSI SMARTer2020: The role of ICT in driving a sustainable future. http:\/\/gesi.org\/SMARTer2020 2012. {Online; accessed 10-January-2015}.  Boston Consulting Group. GeSI SMARTer2020: The role of ICT in driving a sustainable future. http:\/\/gesi.org\/SMARTer2020 2012. {Online; accessed 10-January-2015}."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_37"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1666420.1666438"},{"key":"e_1_3_2_1_8_1","volume-title":"ICSOFT","author":"Bunse C.","year":"2009","unstructured":"C. Bunse , H. H\u00f6pfner , S. Roychoudhury , and E. Mansour . Choosing the\" best\" sorting algorithm for optimal energy consumption . ICSOFT , 2009 . C. Bunse, H. H\u00f6pfner, S. Roychoudhury, and E. Mansour. Choosing the\" best\" sorting algorithm for optimal energy consumption. ICSOFT, 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/339492.339606"},{"key":"e_1_3_2_1_10_1","volume-title":"SAT-based termination analysis using monotonicity constraints over the integers. Theory and Practice of Logic Programming, 11(4--5):503--520","author":"Codish M.","year":"2011","unstructured":"M. Codish , I. Gonopolskiy , A. M. Ben-Amram , C. Fuhs , and J. Giesl . SAT-based termination analysis using monotonicity constraints over the integers. Theory and Practice of Logic Programming, 11(4--5):503--520 , 2011 . M. Codish, I. Gonopolskiy, A. M. Ben-Amram, C. Fuhs, and J. Giesl. SAT-based termination analysis using monotonicity constraints over the integers. Theory and Practice of Logic Programming, 11(4--5):503--520, 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1840845.1840883"},{"key":"e_1_3_2_1_12_1","volume-title":"A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing, 12(1--2):117--156","author":"Dershowitz N.","year":"2001","unstructured":"N. Dershowitz , N. Lindenstrauss , Y. Sagiv , and A. Serebrenik . A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing, 12(1--2):117--156 , 2001 . N. Dershowitz, N. Lindenstrauss, Y. Sagiv, and A. Serebrenik. A general framework for automatic termination analysis of logic programs. Applicable Algebra in Engineering, Communication and Computing, 12(1--2):117--156, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72788-0_33"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882315"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647163.717693"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08587-6_13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_24"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25979-4_15"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486801"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351678"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25231-0_1"},{"key":"e_1_3_2_1_22_1","unstructured":"J. Heggestuen. Business Insider: One In Every 5 People IN The World Own A Smartphone One in Every 17 Own A Tablet. http:\/\/www.businessinsider.com\/smartphone-and-tablet-penetration-2013--10 2013. {Online; accessed 9-January-2015}.  J. Heggestuen. Business Insider: One In Every 5 People IN The World Own A Smartphone One in Every 17 Own A Tablet. http:\/\/www.businessinsider.com\/smartphone-and-tablet-penetration-2013--10 2013. {Online; accessed 9-January-2015}."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31612-8_28"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/145448.146725"},{"key":"e_1_3_2_1_25_1","first-page":"259","volume-title":"Search-Based Software Engineering","author":"Kocsis Z.","year":"2014","unstructured":"Z. Kocsis , G. Neumann , J. Swan , M. Epitropakis , A. E. Brownlee , S. O. Haraldsson , and E. Bowles . Repairing and optimizing Hadoop hashCode implementations . Search-Based Software Engineering , pages 259 -- 264 , 2014 . Z. Kocsis, G. Neumann, J. Swan, M. Epitropakis, A. E. Brownlee, S. O. Haraldsson, and E. Bowles. Repairing and optimizing Hadoop hashCode implementations. Search-Based Software Engineering, pages 259--264, 2014."},{"key":"e_1_3_2_1_26_1","volume-title":"Growth in data center electricity use from 2005 to","author":"Koomey J.","year":"2010","unstructured":"J. Koomey . Growth in data center electricity use from 2005 to 2010 , Aug. 2011. J. Koomey. Growth in data center electricity use from 2005 to 2010, Aug. 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2010.5585922"},{"key":"e_1_3_2_1_28_1","author":"Langdon W. B.","year":"2013","unstructured":"W. B. Langdon and M. Harman . Optimising existing software with genetic programming. IEEE Transactions on Evolutionary Computation , 2013 . W. B. Langdon and M. Harman. Optimising existing software with genetic programming. IEEE Transactions on Evolutionary Computation, 2013.","journal-title":"Optimising existing software with genetic programming. IEEE Transactions on Evolutionary Computation"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483780"},{"key":"e_1_3_2_1_31_1","first-page":"63","volume-title":"Logic Programming: Proceedings of the Fourteenth International Conference on Logic Programming","author":"Lindenstrauss N.","unstructured":"N. Lindenstrauss and Y. Sagiv . Automatic termination analysis of logic systems . In Logic Programming: Proceedings of the Fourteenth International Conference on Logic Programming , page 63 . MIT Press, 1997. N. Lindenstrauss and Y. Sagiv. Automatic termination analysis of logic systems. In Logic Programming: Proceedings of the Fourteenth International Conference on Logic Programming, page 63. MIT Press, 1997."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536637"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568297"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168841"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_21"},{"key":"e_1_3_2_1_37_1","unstructured":"J. Petke W. B. Langdon M. Harman and W. Weimer. Using genetic improvement & code transplants to specialise a C  J. Petke W. B. Langdon M. Harman and W. Weimer. Using genetic improvement & code transplants to specialise a C"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 17th European Conference on Genetic Programming (EuroGP)","year":"2014","unstructured":"program to a problem class. In M. Nicolau, K. Krawiec, and M. Heywood, editors , Proceedings of the 17th European Conference on Genetic Programming (EuroGP) , Granada, Spain , 2014 . program to a problem class. In M. Nicolau, K. Krawiec, and M. Heywood, editors, Proceedings of the 17th European Conference on Genetic Programming (EuroGP), Granada, Spain, 2014."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2652524.2652538"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74621-8_18"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541980"},{"key":"e_1_3_2_1_42_1","first-page":"145","volume-title":"Proceedings of the 1st Workshop de Sistemas Embarcados","author":"Silva W. G. P.","year":"2010","unstructured":"W. G. P. Silva , L. Brisolara , U. B. Corr\u00eaa , and L. Carro . Evaluation of the impact of code refactoring on embedded software efficiency . In Proceedings of the 1st Workshop de Sistemas Embarcados , pages 145 -- 150 , 2010 . W. G. P. Silva, L. Brisolara, U. B. Corr\u00eaa, and L. Carro. Evaluation of the impact of code refactoring on embedded software efficiency. In Proceedings of the 1st Workshop de Sistemas Embarcados, pages 145--150, 2010."},{"key":"e_1_3_2_1_43_1","volume-title":"http:\/\/data.worldbank.org\/indicator\/EN.ATM.CO2E.KT\/countries. {Online","author":"Bank The World","year":"2015","unstructured":"The World Bank . http:\/\/data.worldbank.org\/indicator\/EN.ATM.CO2E.KT\/countries. {Online ; accessed 10- January - 2015 }. The World Bank. http:\/\/data.worldbank.org\/indicator\/EN.ATM.CO2E.KT\/countries. {Online; accessed 10-January-2015}."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.59"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2083669"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389437"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878982"}],"event":{"name":"GECCO '15: Genetic and Evolutionary Computation Conference","location":"Madrid Spain","acronym":"GECCO '15","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739480.2754752","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2739480.2754752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:18Z","timestamp":1750227378000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2739480.2754752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,11]]},"references-count":47,"alternative-id":["10.1145\/2739480.2754752","10.1145\/2739480"],"URL":"https:\/\/doi.org\/10.1145\/2739480.2754752","relation":{},"subject":[],"published":{"date-parts":[[2015,7,11]]},"assertion":[{"value":"2015-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}