Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs.

Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal

Browse the full OSDI paper archive.