{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T23:10:32Z","timestamp":1777331432123,"version":"3.51.4"},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T00:00:00Z","timestamp":1326240000000},"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":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2012,1,11]]},"abstract":"<jats:p>\n            In recent years, there has been a rapid evolution of energyaware computing systems (e.g., mobile devices, wireless sensor nodes), as still rising system complexity and increasing user demands make energy a permanently scarce resource. While static and dynamic optimizations for energy-aware execution have been explored massively, writing energyefficient programs in the first place has only received limited attention. This paper proposes SEEP, a framework which exploits symbolic execution and platform-specific energy profiles to provide the basis for\n            <jats:italic>energy-aware programming<\/jats:italic>\n            . More specifically, the framework provides developers with information about the energy demand of their code at hand, even for the invocation of library functions and in settings with multiple possibly strongly heterogeneous target platforms. This equips developers with the necessary knowledge to take energy demand into account during the task of writing programs.\n          <\/jats:p>","DOI":"10.1145\/2094091.2094106","type":"journal-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:21:44Z","timestamp":1326820904000},"page":"58-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["SEEP"],"prefix":"10.1145","volume":"45","author":[{"given":"Timo","family":"H\u00f6nig","sequence":"first","affiliation":[{"name":"Friedrich-Alexander University Erlangen-Nuremberg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Eibel","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander University Erlangen-Nuremberg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00fcdiger","family":"Kapitza","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander University Erlangen-Nuremberg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schr\u00f6der-Preikschat","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander University Erlangen-Nuremberg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,11]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"13","volume-title":"Proceedings of the 1st Conference on Operating Systems Design and Implementation","author":"Weiser M.","year":"1994"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/581630.581668"},{"key":"e_1_2_1_3_1","first-page":"1","volume-title":"Proceedings of the 2nd Workshop on Power Aware Real-time Computing","author":"Snowdon D.","year":"2005"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.443"},{"key":"e_1_2_1_5_1","first-page":"217","volume-title":"Proceedings of the 2011 USENIX Annual Technical Conference","author":"Le Sueur E.","year":"2011"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605411"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807136"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/354880.354900"},{"key":"e_1_2_1_9_1","first-page":"288","volume-title":"Proceedings of the 2002 Asia and South Pacific Design Automation Conference","author":"Delaluz V.","year":"2002"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339659"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337425"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060301"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993518"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806620"},{"key":"e_1_2_1_15_1","first-page":"209","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation","author":"Cadar C.","year":"2008"},{"key":"e_1_2_1_16_1","volume-title":"KTH","author":"Penolazzi S.","year":"2011"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2007.913724"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01130407"},{"key":"e_1_2_1_19_1","first-page":"221","volume-title":"Proceedings of the 9th International Conference on Parallel Architectures and Compilation Techniques","author":"Ramon B. F.","year":"1999"},{"key":"e_1_2_1_20_1","first-page":"41","volume-title":"Proceedings of the 3rd Workshop on Embedded Networked Sensors","author":"Lane N. D.","year":"2006"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2094091.2094106","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2094091.2094106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:41Z","timestamp":1750240121000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2094091.2094106"}},"subtitle":["exploiting symbolic execution for energy-aware programming"],"short-title":[],"issued":{"date-parts":[[2012,1,11]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,1,11]]}},"alternative-id":["10.1145\/2094091.2094106"],"URL":"https:\/\/doi.org\/10.1145\/2094091.2094106","relation":{},"ISSN":["0163-5980"],"issn-type":[{"value":"0163-5980","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,11]]},"assertion":[{"value":"2012-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}