SEEP: Exploiting Symbolic Execution for Energy-Aware Programming

Hönig T, Eibel C, Kapitza R, Schröder-Preikschat W (2011)

Publication Type: Conference contribution

Publication year: 2011

Edited Volumes: Proceedings of the 4th Workshop on Power-Aware Computing and Systems, HotPower'11

Conference Proceedings Title: Proceedings of the 4th Workshop on Power-Aware Computing and Systems (HotPower 2011)

Event location: in conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais

URI: http://www4.cs.fau.de/Publications/2011/hoenig_11_hotpower.pdf

DOI: 10.1145/2039252.2039256

Abstract

In recent years, there has been a rapid evolution of energy-aware 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 massively explored, writing energy-efficient 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 energy-aware programming. 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. © 2011 ACM.

Authors with CRIS profile

Timo Hönig Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Christopher Eibel Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Rüdiger Kapitza Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Hönig, T., Eibel, C., Kapitza, R., & Schröder-Preikschat, W. (2011). SEEP: Exploiting Symbolic Execution for Energy-Aware Programming. In Proceedings of the 4th Workshop on Power-Aware Computing and Systems (HotPower 2011). in conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais.

MLA:

Hönig, Timo, et al. "SEEP: Exploiting Symbolic Execution for Energy-Aware Programming." Proceedings of the 4th Workshop on Power-Aware Computing and Systems (HotPower '11), in conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais 2011.

BibTeX: Download