Pennsylvania State University / Security Research Center / After building / Yuvraj Agarwal University of California / /
IndustryTerm
well w.r.t. energy consumption / high energy state / definitions dataflow algorithm / grained energy profiler / low-energy state / energy bugs / energy policy / low energy state / call-site / low-energy state iff / software components / manual management / lifecycle protocol / no-sleep energy bugs / software component / dataflow solution / energy usage / energy / energy policies / real-world applications / remote server / Precise accounting / energy state / inference algorithm / application-level power management / high-energy state / power management / energy safe / android applications / possible target-services / energy debugging / /
MarketIndex
SET 50 / /
OperatingSystem
Android / /
Organization
Security Research Center / National Science Foundation / Pennsylvania State University / Ded / University of California / San Diego / /
Person
John McCullough / Dimitar Bounov / NAS / Sorin Lerner / Ranjit Jhala / /
Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs Panagiotis Vekris, Ranjit Jhala, Sorin Lerner and Yuvraj Agarwal University of California, San Diego {pvekris, jhala, lerner, yuvraj} @ cs.ucsd.edu