{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T14:14:57Z","timestamp":1785420897247,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["318337"],"award-info":[{"award-number":["318337"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1145\/2764967.2764974","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"12-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Static analysis of energy consumption for LLVM IR programs"],"prefix":"10.1145","author":[{"given":"Neville","family":"Grech","sequence":"first","affiliation":[{"name":"University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kyriakos","family":"Georgiou","sequence":"additional","affiliation":[{"name":"University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Pallister","sequence":"additional","affiliation":[{"name":"University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Kerrison","sequence":"additional","affiliation":[{"name":"University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeremy","family":"Morse","sequence":"additional","affiliation":[{"name":"University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[{"name":"University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The dwarf debugging standard Oct. 2013. http:\/\/dwarfstd.org\/.  The dwarf debugging standard Oct. 2013. http:\/\/dwarfstd.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.057"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9174-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_27"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.645074"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2016802.2016877"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93564"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis","author":"Gustafsson J.","year":"2010","unstructured":"J. Gustafsson . The M\u00e4lardalen WCET benchmarkspast, present and future . Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis , 2010 . J. Gustafsson. The M\u00e4lardalen WCET benchmarkspast, present and future. Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362389.2362393"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI","author":"Jones N. D.","year":"2009","unstructured":"N. D. Jones and M. M\u00fcller-Olm , editors . Verification , Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009 , Savannah, GA , USA, January 18-20, 2009. Proceedings, Lecture Notes in Computer Science . Springer , 2009. N. D. Jones and M. M\u00fcller-Olm, editors. Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, Lecture Notes in Computer Science. Springer, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2700104"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/216636.216666"},{"key":"e_1_3_2_1_15_1","volume-title":"Preproceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13)","author":"Liqat U.","year":"2013","unstructured":"U. Liqat , S. Kerrison , A. Serrano , K. Georgiou , P. Lopez-Garcia , N. Grech , M. Hermenegildo , and K. Eder . Energy Consumption Analysis of Programs based on XMOS ISA-level Models . In Preproceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13) , September 2013 . U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. Hermenegildo, and K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-level Models. In Preproceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13), September 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"Writing an LLVM backend","author":"Project LLVM","unstructured":"LLVM Project . Writing an LLVM backend . http:\/\/llvm.org\/docs\/WritingAnLLVMBackend.html, 2014. Accessed: 2014-03-11. LLVM Project. Writing an LLVM backend. http:\/\/llvm.org\/docs\/WritingAnLLVMBackend.html, 2014. Accessed: 2014-03-11."},{"key":"e_1_3_2_1_18_1","volume-title":"Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. In The Sixth NASA Langley Formal Methods Workshop (LFM 08)","author":"Navas J.","year":"2008","unstructured":"J. Navas , M. M\u00e9ndez-Lojo , and M. Hermenegildo . Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. In The Sixth NASA Langley Formal Methods Workshop (LFM 08) , April 2008 . Extended Abstract. J. Navas, M.M\u00e9ndez-Lojo, and M. Hermenegildo. Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. In The Sixth NASA Langley Formal Methods Workshop (LFM 08), April 2008. Extended Abstract."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.11.015"},{"key":"e_1_3_2_1_20_1","volume-title":"User-Definable Resource Bounds Analysis for Logic Programs. In International Conference on Logic Programming (ICLP'07)","author":"Navas J.","year":"2007","unstructured":"J. Navas , E. Mera , P. L\u00f3pez-Garc\u00eda , and M. Hermenegildo . User-Definable Resource Bounds Analysis for Logic Programs. In International Conference on Logic Programming (ICLP'07) , Lecture Notes in Computer Science. Springer , 2007 . J. Navas, E. Mera, P. L\u00f3pez-Garc\u00eda, and M. Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs. In International Conference on Logic Programming (ICLP'07), Lecture Notes in Computer Science. Springer, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_22_1","volume-title":"BEEBS: open benchmarks for energy measurements on embedded platforms. CoRR, abs\/1308.5174","author":"Pallister J.","year":"2013","unstructured":"J. Pallister , S. J. Hollis , and J. Bennett . BEEBS: open benchmarks for energy measurements on embedded platforms. CoRR, abs\/1308.5174 , 2013 . J. Pallister, S. J. Hollis, and J. Bennett. BEEBS: open benchmarks for energy measurements on embedded platforms. CoRR, abs\/1308.5174, 2013."},{"key":"e_1_3_2_1_23_1","volume-title":"Computer Journal","author":"Pallister J.","year":"2013","unstructured":"J. Pallister , S. J. Hollis , and J. Bennett . Identifying Compiler Options to Minimise Energy Consumption for Embedded Platforms . Computer Journal , 2013 . J. Pallister, S. J. Hollis, and J. Bennett. Identifying Compiler Options to Minimise Energy Consumption for Embedded Platforms. Computer Journal, 2013."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337786"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99381"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of PATMOS","author":"Steinke S.","year":"2001","unstructured":"S. Steinke , M. Knauer , L. Wehmeyer , and P. Marwedel . An Accurate and Fine Grain Instruction-level Energy Model Supporting Software Optimizations . In Proceedings of PATMOS , 2001 . S. Steinke, M. Knauer, L. Wehmeyer, and P. Marwedel. An Accurate and Fine Grain Instruction-level Energy Model Supporting Software Optimizations. In Proceedings of PATMOS, 2001."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277636"},{"key":"e_1_3_2_1_28_1","first-page":"222","volume-title":"Power analysis of embedded software: a first step towards software power minimization","author":"Tiwari V.","year":"1994","unstructured":"V. Tiwari , S. Malik , and A. Wolfe . Power analysis of embedded software: a first step towards software power minimization , pages 222 -- 230 . Kluwer Academic Publishers , 1994 . 567021. V. Tiwari, S. Malik, and A. Wolfe. Power analysis of embedded software: a first step towards software power minimization, pages 222--230. Kluwer Academic Publishers, 1994. 567021."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/525699.834711"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27861-0_6"},{"key":"e_1_3_2_1_31_1","volume-title":"Programming XC on XMOS Devices","author":"Watt D.","year":"2009","unstructured":"D. Watt . Programming XC on XMOS Devices . XMOS Ltd ., 2009 . D. Watt. Programming XC on XMOS Devices. XMOS Ltd., 2009."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361016"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2391451.2391464"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103709"},{"key":"e_1_3_2_1_36_1","volume-title":"Bound analysis of imperative programs with the size-change abstraction (extended version). CoRR, abs\/1203.5303","author":"Zuleger F.","year":"2012","unstructured":"F. Zuleger , S. Gulwani , M. Sinn , and H. Veith . Bound analysis of imperative programs with the size-change abstraction (extended version). CoRR, abs\/1203.5303 , 2012 . F. Zuleger, S. Gulwani, M. Sinn, and H. Veith. Bound analysis of imperative programs with the size-change abstraction (extended version). CoRR, abs\/1203.5303, 2012."}],"event":{"name":"SCOPES '15: 18th International Workshop on Software and Compilers for Embedded Systems","location":"Sankt Goar Germany","acronym":"SCOPES '15","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","EDAA European Design Automation Association"]},"container-title":["Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2764967.2764974","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2764967.2764974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:24Z","timestamp":1750227144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2764967.2764974"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":34,"alternative-id":["10.1145\/2764967.2764974","10.1145\/2764967"],"URL":"https:\/\/doi.org\/10.1145\/2764967.2764974","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]},"assertion":[{"value":"2015-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}