SEEP: exploiting symbolic execution for energy-aware programming

Timo Hönig, Christopher Eibel, Rüdiger Kapitza, Wolfgang Schröder-Preikschat. SEEP: exploiting symbolic execution for energy-aware programming. In Ricardo Bianchini, Prabal Dutta, editors, Proceedings of the 4th Workshop on Power-Aware Computing and Systems, HotPower '11, Cascais, Portugal, October 23, 2011. ACM, 2011. [doi]

@inproceedings{HonigEKS11-0,
  title = {SEEP: exploiting symbolic execution for energy-aware programming},
  author = {Timo Hönig and Christopher Eibel and Rüdiger Kapitza and Wolfgang Schröder-Preikschat},
  year = {2011},
  doi = {10.1145/2039252.2039256},
  url = {https://doi.org/10.1145/2039252.2039256},
  researchr = {https://researchr.org/publication/HonigEKS11-0},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 4th Workshop on Power-Aware Computing and Systems, HotPower '11, Cascais, Portugal, October 23, 2011},
  editor = {Ricardo Bianchini and Prabal Dutta},
  publisher = {ACM},
  isbn = {978-1-4503-0981-3},
}