{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T21:40:02Z","timestamp":1749591602863,"version":"3.41.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465586"},{"type":"electronic","value":"9783319465593"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46559-3_5","type":"book-chapter","created":{"date-parts":[[2016,9,24]],"date-time":"2016-09-24T04:10:50Z","timestamp":1474690250000},"page":"81-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR"],"prefix":"10.1007","author":[{"given":"U.","family":"Liqat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Georgiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kerrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Lopez-Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. V.","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Eder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10817-010-9174-1","volume":"46","author":"E Albert","year":"2011","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-form upper bounds in static cost analysis. J. Autom. Reasoning 46(2), 161\u2013203 (2011)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-71316-6_12","volume-title":"Programming Languages and Systems","author":"E Albert","year":"2007","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost analysis of Java bytecode. In: Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 157\u2013172. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71316-6_12"},{"doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, N., Fioravanti, F., Rybalchenko, A., Senni, V. (eds.) Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, vol. 169. EPTCS, July 2014","key":"5_CR3","DOI":"10.4204\/EPTCS.169.0"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"doi-asserted-by":"crossref","unstructured":"Debray, S.K., Lin, N.-W., Hermenegildo, M.: Task granularity analysis in logic programs. In: Proceeding of the 1990 ACM Conference on Programming Language Design and Implementation, pp. 174\u2013188. ACM Press, June 1990","key":"5_CR5","DOI":"10.1145\/93548.93564"},{"unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Lin, N.-W.: Lower bound cost estimation for logic programs. In: 1997 International Logic Programming Symposium, pp. 291\u2013305. MIT Press, Cambridge, October 1997","key":"5_CR6"},{"unstructured":"Georgiou, K., Kerrison, S., Eder, K.: On the Value, Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single, Multi-threaded Programs. ArXiv e-prints: arXiv:1510.07095 , October 2015","key":"5_CR7"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-642-28756-5_46","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Grebenshchikov","year":"2012","unstructured":"Grebenshchikov, S., Gupta, A., Lopes, N.P., Popeea, C., Rybalchenko, A.: HSF(C): a software verifier based on horn clauses. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 549\u2013551. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28756-5_46"},{"doi-asserted-by":"crossref","unstructured":"Grech, N., Georgiou, K., Pallister, J., Kerrison, S., Morse, J., Eder, K.: Static analysis of energy consumption for LLVM IR programs. In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015. ACM, New York (2015)","key":"5_CR9","DOI":"10.1145\/2764967.2764974"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/978-3-662-46681-0_41","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Gurfinkel","year":"2015","unstructured":"Gurfinkel, A., Kahsai, T., Navas, J.A.: SeaHorn: a framework for verifying C programs (Competition Contribution). In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 447\u2013450. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46681-0_41"},{"doi-asserted-by":"crossref","unstructured":"Henriksen, K.S., Gallagher, J.P.: Abstract interpretation of PIC programs through logic programming. In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), pp. 184\u2013196. IEEE Computer Society (2006)","key":"5_CR11","DOI":"10.1109\/SCAM.2006.1"},{"issue":"1\u20132","key":"5_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M Hermenegildo","year":"2005","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., Lopez-Garcia, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1\u20132), 115\u2013140 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20132","key":"5_CR13","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Mera, E., Morales, J., Puebla, G.: An overview of Ciao and its design philosophy. Theory Pract. Logic Program. 12(1\u20132), 219\u2013252 (2012)","journal-title":"Theory Pract. Logic Program."},{"unstructured":"Herrmann, C., Bonenfant, A., Hammond, K., Jost, S., Loidl, H.-W., Pointon, R.: Automatic amortised worst-case execution time analysis. In: 7th International Workshop on Worst-Case Execution Time Analysis (WCET 2007), vol. 6. OASIcs. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2007)","key":"5_CR14"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-32759-9_21","volume-title":"FM 2012: Formal Methods","author":"H Hojjat","year":"2012","unstructured":"Hojjat, H., Kone\u010dn\u00fd, F., Garnier, F., Iosif, R., Kuncak, V., R\u00fcmmer, P.: A verification toolkit for numerical transition systems. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 247\u2013251. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32759-9_21"},{"doi-asserted-by":"crossref","unstructured":"Jayaseelan, R., Mitra, T., Li, X.: Estimating the worst-case energy consumption of embedded software. In: IEEE Real Time Technology and Applications Symposium, pp. 81\u201390. IEEE Computer Society (2006)","key":"5_CR16","DOI":"10.1109\/RTAS.2006.17"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2700104","volume":"14","author":"S Kerrison","year":"2015","unstructured":"Kerrison, S., Eder, K.: Energy modeling of software for a hardware multithreaded embedded microprocessor. ACM Trans. Embed. Comput. Syst. 14(3), 1\u201325 (2015)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"5\u20136","key":"5_CR18","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/j.sysarc.2006.10.003","volume":"53","author":"S Lafond","year":"2007","unstructured":"Lafond, S., Lilius, J.: Energy consumption analysis for two embedded Java virtual machines. J. Syst. Archit. 53(5\u20136), 328\u2013337 (2007)","journal-title":"J. Syst. Archit."},{"doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis and transformation. In: Proceeding of the 2004 International Symposium on Code Generation and Optimization (CGO), pp. 75\u201388. IEEE Computer Society, March 2004","key":"5_CR19","DOI":"10.1109\/CGO.2004.1281665"},{"unstructured":"Liqat, U., Georgiou, K., Kerrison, S., Lopez-Garcia, P., Hermenegildo, M.V., Gallagher, J.P., Eder, K., Consumption, I.E.: At Different Software Levels: ISA vs. LLVM IR. Technical report, FET 318337 ENTRA Project, Appendix D3.2.4 of Deliverable D3.2. http:\/\/entraproject.eu","key":"5_CR20"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-14125-1_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"U Liqat","year":"2014","unstructured":"Liqat, U., Kerrison, S., Serrano, A., Georgiou, K., Lopez-Garcia, P., Grech, N., Hermenegildo, M., Eder, K.: Energy Consumption analysis of programs based on XMOS ISA-level models. In: Gupta, G., Pe\u00f1a, R. (eds.) LOPSTR 2013. LNCS, vol. 8901, pp. 72\u201390. Springer, Switzerland (2014). doi: 10.1007\/978-3-319-14125-1_5"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-78769-3_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M M\u00e9ndez-Lojo","year":"2008","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.V.: A flexible, (C)LP-based approach to the analysis of object-oriented programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol. 4915, pp. 154\u2013168. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78769-3_11"},{"doi-asserted-by":"crossref","unstructured":"Mera, E., L\u00f3pez-Garc\u00eda, P., Carro, M., Hermenegildo, M.: Towards execution time estimation in abstract machine-based languages. In: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2008), pp. 174\u2013184. ACM Press, July 2008","key":"5_CR23","DOI":"10.1145\/1389449.1389471"},{"unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: Safe upper-bounds inference of energy consumption for Java bytecode applications. In: The Sixth NASA Langley Formal Methods Workshop (LFM 2008), Extended Abstract, April 2008","key":"5_CR24"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-74610-2_24","volume-title":"Logic Programming","author":"J Navas","year":"2007","unstructured":"Navas, J., Mera, E., Lopez-Garcia, P., Hermenegildo, M.V.: User-definable resource bounds analysis for logic programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 348\u2013363. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74610-2_24"},{"unstructured":"Pallister, J., Kerrison, S., Morse, J., Eder, K.: Data dependent energy modeling for worst case energy consumption analysis. arXiv preprint arXiv:1505.03374 (2015)","key":"5_CR26"},{"doi-asserted-by":"crossref","unstructured":"Rosendahl, M.: Automatic complexity analysis. In: 4th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA 1989). ACM Press (1989)","key":"5_CR27","DOI":"10.1145\/99370.99381"},{"doi-asserted-by":"crossref","unstructured":"Serrano, A., Lopez-Garcia, P., Hermenegildo, M.: Resource usage analysis of logic programs via abstract interpretation using sized types. In: Theory and Practice of Logic Programming, 30th International Conference on Logic Programming (ICLP 2014) Special Issue, vol. 14, no. 4\u20135, pp. 739\u2013754 (2014)","key":"5_CR28","DOI":"10.1017\/S147106841400057X"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-642-19835-9_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"SA Seshia","year":"2011","unstructured":"Seshia, S.A., Kotker, J.: Gametime: a toolkit for timing analysis of software. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 388\u2013392. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19835-9_34"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-27861-0_6","volume-title":"Implementation of Functional Languages","author":"PB Vasconcelos","year":"2004","unstructured":"Vasconcelos, P.B., Hammond, K.: Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol. 3145, pp. 86\u2013101. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27861-0_6"},{"unstructured":"Watt, D.: Programming XC on XMOS Devices. XMOS Limited (2009)","key":"5_CR31"},{"issue":"9","key":"5_CR32","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361002.361016","volume":"18","author":"B Wegbreit","year":"1975","unstructured":"Wegbreit, B.: Mechanical program analysis. Commun. ACM 18(9), 528\u2013539 (1975)","journal-title":"Commun. ACM"},{"issue":"3","key":"5_CR33","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem\u00a0- overview of methods and survey of tools. ACM Trans. Embedded Comput. Syst. 7(3), 36 (2008)","journal-title":"ACM Trans. Embedded Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Foundational and Practical Aspects of Resource Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46559-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T21:07:35Z","timestamp":1749589655000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46559-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465586","9783319465593"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46559-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"25 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FOPARA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Foundational and Practical Aspects of Resource Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fopara2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}