@inproceedings {179447,
	author = {Panagiotis Vekris and Ranjit Jhala and Sorin Lerner and Yuvraj Agarwal},
	title = {Towards Verifying Android Apps for the Absence of {No-Sleep} Energy Bugs},
	booktitle = {2012 Workshop on Power-Aware Computing and Systems (HotPower 12)},
	year = {2012},
	address = {Hollywood, CA},
	url = {https://www.usenix.org/conference/hotpower12/workshop-program/presentation/Vekris},
	publisher = {USENIX Association},
	month = oct
}
