SEEP: exploiting symbolic execution for energy-aware programming.

Timo Hnig, Christopher Eibel, Rdiger Kapitza, Wolfgang Schrder-Preikschat

Browse the full SOSP paper archive.