Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal. Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. In Mani Srivastava, Thomas F. Wenisch, editors, 2012 Workshop on Power-Aware Computing Systems, HotPower'12, Hollywood, CA, USA, October 7, 2012. USENIX Association, 2012. [doi]
Abstract is missing.